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