We are still using the same set of notes as last week. We will discuss soundness and completeness issues. And here is the