6.045 Spring 2015 - Lecture on April 07