> 4. Request: Short-circuit evaluation should be either MAY or MUST, and > must be discussed in case it matters in the future.
I've implemented them, but I suspect there may be implementation environments where this is hard to support, and so I don't think we can require it.
Really? Could you provide an example? I can think of only one, and I think it's rather absurd.