You do not have access to this note.

33.5 Regular Routine for Quantifiers