Lecture up to 2014-11-26.