% References cited in https://agora.t9k.dev/t/308/finite-generation-for-the-local-sphere