Re: [dev-context] Re: [NTG-context] Suitable mechanism for Theorems and Definitions