Lecture 12, part 1, July 17