CS 241: added February 11, 2013 lecture.