[NTG-context] Suitable mechanism for Theorems and Definitions