c ∧ r i s m ∧