Item
0.2.16.c
.
\(\exists x(P(x) \wedge E(x))\)
(where
\(P(x)\)
means “
\(x\)
is prime”).
in-context