Lecture 13, part 1, July 18