Lecture examples for chapter 17