What's the invariant for the problem in the article, where set_height on a square mutates @width? Seems like you don't want to prevent width from mutating every

What's the invariant for the problem in the article, where set_height on a square mutates @width? Seems like you don't want to prevent width from mutating everywhere, you just want to ensure it doesn't mutate during set_height.