Lecture 1 (July 25)