Lecture 17, July 21