terms -> formulas