You do not have access to this note.

28.1 Same Quantifiers