Lecture 5, July 3