This represents a move from global state to local state with global consistency guarantees.