Paragraph

\(\neg(\exists x P(x) \imp \forall y P(y))\text{.}\)