Existential and Universal Generalization

Putting a quantifier back on, and why one of the two rules must be fenced