CS 241: added January 14, 2013 lecture.