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