Re: [NTG-context] Equation numbers inside Theorem statements