You do not have access to this note.

18.1 Modus Ponens (MP)