CS 241 [February 6, 2013]: finished typesetting this lecture.