Lecture 17, July 24