Item 0.2.16.a.
\(\neg \exists x (E(x) \wedge O(x))\text{.}\)
in-context