The reductio only lands if mathematical practice has normative authority over metaphysical positions...