How can we specify that a method does not modify the object's attributes ?

???