Terms are not formulas! (The Reasoner, 2015)