(\neg \exists x \varphi (x))\Leftrightarrow (\forall x \neg \varphi (x))