Video was lost for the first half of the talk (though the audio is fine); we apologize for the inconvenience.