¹I thank Don Davis for several helpful comments and corrections to a previous version of this section. Any remaining errors are entirely my own.