∀ ∧ ∀