anchor.diff:               RKey <- ?RT:get_replica_keys(Key),
                intervals:in(RKey, MyI)].
   
  --spec start_update_key_entry(MyIKvvList::kvv_list(), comm:mypid(),
  +-spec start_update_key_entry(MyIOtherKvvList::kvv_list(), comm:mypid(),
                                comm:erl_local_pid()) -> non_neg_integer().
   start_update_key_entry([], _MyPid, _DhtPid) -> 0;
  -start_update_key_entry(MyIKvvList, MyPid, DhtPid) ->
  -    comm:send_local(DhtPid, {update_key_entry, MyPid, MyIKvvList}),
  -    length(MyIKvvList).
  +start_update_key_entry(MyIOtherKvvList, MyPid, DhtPid) ->
  +    comm:send_local(DhtPid, {update_key_entry, MyPid, MyIOtherKvvList}),
  +    length(MyIOtherKvvList).
   
   -spec integrate_update_key_entry_ack(
           [{Entry::db_entry:entry(), Exists::boolean(), Done::boolean()}],
  
positive.code:          operation      = undefined                               :: undefined | operation(),
           my_range       = undefined                               :: undefined | intervals:interval(),
           feedbackDestPid= undefined                               :: undefined | comm:mypid(),
           feedbackKvv    = {[], gb_trees:empty()}                  :: {MissingOnOther::kvv_list(), MyIKvTree::gb_tree()},
           send_stats     = undefined                               :: undefined | comm:mypid(),
           stats          = #resolve_stats{}                        :: stats(),
           from_my_node   = 1                                       :: 0 | 1
  
negative.code:     NewState = State#rr_resolve_state{operation = {?key_upd, [], []},
                                        stats = Stats#resolve_stats{diff_size = ToUpdate},
                                        feedbackKvv = {lists:append(FbKVV, KvvList),
                                                       MyIOtherKvTree}},
      
      if ToUpdate =:= 0 ->
             % use the same options as above in get_state_response:
  