CS 240: added January 8, 2013 lecture.