Lecture 7, part 1, July 8