Item 0.2.14.b.

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

in-context