Lecture up to 2014-11-10.