An entertaining essay. It seems to me, however, that it begins halfway up the ontological tree rather than commencing at the very beginning. Where did the most simple form of mathematics arise? From equivalence counting. In this early phase a picture of a jar of grain equaled one real-life jar of grain. Later, as we know, it became more convenient to employ the abstractions we call numbers, but those numbers still referred to real quantities in the physical world. The fact that arithmetic (and by extension nearly all the rest of math) grows out of the tiny seed of equivalence means that a lot of the ontological fussing inflicted on the world by far too many armchair-bound philosophers is not only erroneous but delightfully irrelevant.