You do not have access to this note.

30.2 EIntro: Existential Generalization