Item
0.2.14.a
.
What would you need to do to prove
\(\forall x P(x)\)
is true?
in-context