CS 241: added April 5, 2013 lecture.