anchor.diff:      end,
       State#rr_resolve_state{ stats = NewStats, feedback = NewFB };
   
  -on({shutdown, _}, #rr_resolve_state{ ownerLocalPid = Owner,
  +on({shutdown, _}, #rr_resolve_state{ ownerPid = Owner,
                                        ownerMonitor = Mon,
                                        send_stats = SendStats,
                                        stats = Stats }) ->    
  
positive.code: 
  -record(rr_resolve_state,
          {
           ownerLocalPid  = ?required(rr_resolve_state, ownerLocalPid)    :: comm:erl_local_pid(),
           ownerRemotePid = ?required(rr_resolve_state, ownerRemotePid)   :: comm:mypid(),
           ownerMonitor   = null                                          :: null | reference(),
           dhtNodePid     = ?required(rr_resolve_state, dhtNodePid)       :: comm:erl_local_pid(),
           operation      = nil        									:: nil | operation(),
  
negative.code: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -define(TRACE(X,Y,State), ok).
  %-define(TRACE(X,Y,State), io:format("~w [~p] " ++ X ++ "~n", [?MODULE, State#rr_resolve_state.ownerPid] ++ Y)).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  % Message handling
  