You do not have access to this note.

20.2 Proving Soundness