07-401/Lecture Notes/January 10