Re: [NTG-context] subformulas numbering doesn't work