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