Lecture 9, part 2, July 7