Lecture notes 2013-05-09