[Section 17](https://identity.foundation/sidetree/spec/#context): > If an `@context` is present, any properties not defined in DID Core, MUST be defined in this context, or in a DID Method specific one. I think we are missing at least an ELSE branch in this decision tree.