1. The foregoing section owes much to the work of John MacFarlane in his thesis MacFarlane 2000 (Other Internet Resources). MacFarlane distinguished the three kinds of formality at which we have merely waved at here, and he provides a detailed discussion of the notions, making many distinctions over which we have passed.