On Wed, 02 Apr 2008 16:04:36 +0200, Steven Schveighoffer <schveiguy at yahoo.com> wrote: > - a pure method cannot access the mutable portion of a logically > invariant data value. Wouldn't this basically make it transitive invariant?