G. Huo, “The Possibility of Beauty in Logic”, IHCS, vol. 3, no. 3, p. 5972, Jun. 2025.