Lecture 18, July 25