You do not have access to this note.

20.1 Soundness and Completeness