Lecture 10, part 2, July 12