Acknowledgements
Thanks to Greg Sharp for comments on previous versions of this document.