rearranged some things in the talk. WARNING: this could not be compiled, and may contain errors.