Talk given to Cornell CS community on 05/06/2014