CS 241: added January 18, 2013 lecture.