All tagged First-Order Logic