Lecture 9, part 1, July 7