Isn't "transitive" the wrong word?

[Manfred Nowak]

Janice Caron wrote:

> (1) "const" is short for "const with respect to reachability", and


"with respect to reachability" binds to "transitive".

So you probably wanted to say(?):

(1) "const is transitive" is short for "const is transitive with 
respect to reachability", and

-manfred