Lecture 17, part 2, July 25