Respecting infinite sets, for example, Intuitionism is rabidly anti-Cantor and Formalism staunchly pro-Cantor, even though both Formalism and Intuitionism are anti-Plato and Cantor is a diehard Platonist. Which, migrainous or not, means we’re back to metaphysics: the modern wrangle over math’s procedures is ultimately a dispute over the ontological status of math entities.