Lecture 10, part 1, July 12