Lecture 1, part 1, May 13