You do not have access to this note.

15.5 Question on the Use of vIntro and Associativity