Isn't "transitive" the wrong word?

[Manfred Nowak]

Janice Caron wrote:

> STATEMENT 2:
> const is transitive in D, but not in C++.
> In what sense is statement 2 equivalent to statement 1?

The clause "with respect to reachability" is conviniently omitted, 
because it should be clear from the context.

-manfred