[NTG-context] formulas: numbering problem