> > Property functions are still functions. A member function must be const > for it to be callable on a const object. Since we have transitive const, why can't the compiler deduce which methods can be called on const instances?