Re: [NTG-context] The point about theorems