Stephen gave a second version of this lecture on June 28th.