Bergstra, J. A. (2022) “Prospective, Retrospective, and Formal Division:: a contribution to philosophical arithmetic”, Transmathematica. doi: 10.36285/tm.71.