Bergstra, J. A. “Prospective, Retrospective, and Formal Division:: A Contribution to Philosophical Arithmetic”. Transmathematica, Oct. 2022, doi:10.36285/tm.71.