Mathematics, in one sense, is an exploration of universal, repeatable, rule-following procedures - if you can't get the same result as me, today, yesterday, and

Mathematics, in one sense, is an exploration of universal, repeatable, rule-following procedures - if you can't get the same result as me, today, yesterday, and next year, by following my procedure, then whatever my procedure is, it can't be a mathematical one. Therefore the practice of mathematics can only take place in a universe where universal, repeatable, rule-following procedures are possible. It has effective regularity in the cosmos as a dependency. Looked at this way, the thing to be surprised at is not so much the effectiveness of mathematics at describing the universe, but the universe's admission of regularity - once that is granted, both mathematics and its effectiveness seem to follow unproblematically, imo.