Lecture 23, part 2, July 30