You do not have access to this note.

31.3 Existential Instantiation