You do not have access to this note.

13.3 #Intro and #Elim