Re: [dev-context] Enhancements to core-des for theorems