w ∧ x ∧ y ∧ z