>
This is not motivation for changing it, you're still just saying it's possible.
Did you read the code? Or how it may be motivated other than code examples?
I would like to see discussion of why the invalidation rule is there in the first place, with discussion of whether that was a good reason, and whether it still applies now.