Paragraph
What would you need to do to prove
\(\exists x P(x)\)
is true?
in-context