All tagged First Order Logic