Huo, G. The Possibility of Beauty in Logic. IHCS 2025, 3, 5972.