Re: [NTG-context] Numbering subformulas