\exists \forall \neg