Item
3.1.17.b
.
\(\neg(\exists x P(x) \imp \forall y P(y))\text{.}\)
in-context