You do not have access to this note.

25.6 Quantifier Reorder (QR)