Lecture notes 2013-07-02