Lecture 18, part 1, July 29