Update Xdef_Specification.md