∃ ∨ ∀ ∨ ∃