"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.