8.01 Lecture Supplements