Lecture 1, part 1, June 23