“Terms are not formulas!” (2015) The Reasoner, 9(12). Available at: https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/24784 (Accessed: 27 July 2026).