Re: [NTG-context] One-off theorem titles & numberstyle