_ ∧ _@1