https://kottke.org/03/04/it-is-stipulated-as-an-axiom-that