Lecture 5, part 2, July 1