x ∧ b