x ∧ y
