Lecture 3, part 1, June 25