Bergstra, J. A. Prospective, Retrospective, and Formal Division:: A Contribution to Philosophical Arithmetic. Transmath 2022.