CS 240: added March 7, 2013 lecture.