rewrote / restructured section 4.1.5 Result

line 981: changed from SHOULD to MUST; thought it was just a possible
reason for ambiguity and incompatibility if this is left to the
developer's choice.