Paragraph

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

in-context