All tagged second order consequence