Paragraph

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

in-context