6.045 Spring 2015 - Lecture on May 14