Terms Are Not Formulas! tr 2015, 9 (12).