What I learned at school today:

"From the substitution instance of a propositional function with respect to the name of any arbitrarily selected individual, one can validly infer the universal quantification of that propositional function."
--my logic textbook.

Just kidding. I have no idea what that means. I'll figure it out before the test.

I hope.