An extended version of the presentation notes.