Lecture 5, part 1, June 30