[JadeNB]

> When D is not subset of (sum of R and W), then 1 is not equivalent to 2.

Fair enough (though it seems to be different from your original objection); I was implicitly taking 'wrong' as a synonym for 'not right'.

[ajuc]

My original objection was based on intuitive understanding of those sentences, and you're right, it's false when you take them literally.