CS 241: added February 6, 2013 lecture.