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: 
  -spec init(state()) -> state().
  init(State) ->
      Mon = erlang:monitor(process, State#rr_resolve_state.ownerLocalPid),
      State#rr_resolve_state{ ownerMonitor = Mon }.
  
  -spec start() -> {ok, MyPid::pid()}.
  
negative.code: 
  -spec get_start_state() -> state().
  get_start_state() ->
      #rr_resolve_state{ ownerPid = self(),
                         dhtNodePid = pid_groups:get_my(dht_node)
                       }.
  