Lecture 13, part 2, July 17