CS 241: added January 28, 2013 lecture.