Text this: QUOTIENTS, PURE EXISTENTIAL COMPLETIONS AND ARITHMETIC UNIVERSES.