You do not have access to this note.

30.3 AElim: Universal Instantiation