Re: LC-67 leftover -- MUST use MUST

> criteria; I can easily render them with an "or else" part:
> 
> 	2 + 2 MUST be 4 or else the summator module violates
> 	rule X.Y of RFC 1234 and MUST NOT be auto-loaded.
> 
> 	Every attribute value in an XML document MUST be quoted
> 	or else the document is invalid. See section X.Y for
> 	requirements on handling invalid XML documents.
> 



No ...

   The summator MUST give the answer 4 in response to the question 2+2.


Try

 > 	2 + 2 MUST be 3 or else the summator module violates
 > 	rule X.Y of RFC 1234 and MUST NOT be auto-loaded.

In your text no possible summator even one that gives a random output to 
any input can be violation because 2+2 IS 4.

MUST is for agents.

Jeremy

Received on Tuesday, 1 July 2003 12:21:26 UTC