Lecture 16, part 1, July 24