Lecture 07: Notions of Correctness and Appropriateness, Part III