[NTG-context] Changing coversion of formulas