x ∧ y