Lecture 9, part 1, July 10