Re: [NTG-context] Changing coversion of formulas