Re: [DFDL-WG] proof text for ISO/IEC 23415