I think it's cool and important to keep in mind that upgradeX is an augmentation to the coherence protocol that we need for committing and isolation -- when a cache gets the most recent copy of data from another cache, it does not issue a busRdX since this would violate isolation, and instead keeps its writes local and "hidden" until issuing an upgradeX at commit time