CS 241 [January 23, 2013]: partial lecture added for now.