Lecture notes 2013-06-25