See "Change Tracking and Derived State" in the draft RFC. Also see, "TODO: if dependent keys are still a thing...".