Lecture 9, part 2, July 10