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