Bergstra, J. A. “Structural Equivalence of Arithmetical Expressions As a Technical Basis for Philosophical Arithmetic”. Transmathematica, Dec. 2024, doi:10.36285/tm.99.