Lecture 17: Exercises