Lecture 23, part 1, July 30