CS 240: added January 29, 2013 lecture.