Mahmood-
> a readonly has a mutable alias to the receiver and then
> the method is used to modify the receiver.
You are right that this is perfectly possible and acceptable. When only
using reference immutability, any reference, including "this", can be
changed via aliases.
-Mike