[NTG-context] Suggestion for formula numbering