Item
0.2.14.c
.
What would you need to do to prove
\(\exists x P(x)\)
is true?
in-context