You do not have access to this note.

33.2 Existentials Are Harder