Lecture 6, part 1, July 2