Drafts of this companion were improved thanks to constructive comments by my colleagues Wei En Tan, Cordelia Webb, George Kinnear and Chris Sangwin.