CS 240: added March 5, 2013 lecture.