Proof in predicate logic 4: Universal Generalization

How can it ever be legitimate to infer from "this particular thing is green" to "everything in the universe is green"? Here's how!