McCullough-Benner, C. Mathematical Truth Without Reference. PRB 2014, 70-77. https://doi.org/10.15388/Problemos.2014.0.4926.