Lecture 5, part 1, July 1