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