Terms are not formulas!