07-401/Class Notes for January 10: Difference between revisions