You do not have access to this note.

28.2 Mixed Quantifiers