∀ ∃