Lecture 11, part 1, July 15