Terms are not formulas! The Reasoner, v. 9, n. 12, 1 Dec.2015.