CS 240: added January 10, 2013 lecture.