CS 241: added February 25, 2013 lecture.