Isn't "transitive" the wrong word?

[Manfred Nowak]

Janice Caron wrote:

> So the relation is
[...]

y is reachable from x (through a series of pointers for example)


Reachable is transitive:

 if z is reachable from y 
and y is reachable from x

then

    z is reachable from x 


In D the transitivity of reachability carries over to const:

 if x is const
and z is reachable from x

then

    z is const

-manfred