Lecture 12, part 2, July 16