compiled Lecture3 with typo correctio from @benjaminsnow