CS 241: added January 23, 2013 lecture.