Lecture notes 2013-07-09