Paragraph

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

in-context