yes, it's correct. That why editing the model history of an object is actually way harder than re-running a program after an edit. I feels superficially the same but after you've spent a few hours on the CAD thing, you realize that it's doing things way smarter than what it seems.