Lecture 15, part 1, July 23