Encounter order: take 2

[Tim Peierls]

On Thu, Jan 31, 2013 at 5:42 PM, Paul Sandoz <paul.sandoz at oracle.com> wrote:

> An intermediate operation must preserve encounter order of the output
> stream unless one of the following conditions is true, which if so the
> intermediate operation may not preserve encounter order:
>

How about:

An intermediate operation must preserve encounter order of the output
stream only if neither of the following conditions is true:

I think it's pretty clear that the logical negation of "must preserve" is
"need not preserve". Spelling it out only makes the reader wonder if they
missing something.

--tim