Lecture 7, January 31