anchor.diff:      % -> client creates recon structure based on common interval, sends it to initiator
       RMethod =:= merkle_tree andalso fd:subscribe(DestRRPid),
       SyncI = find_intersection(MyI, SenderI),
  +    % reduce SenderI to the sub-interval matching SyncI, i.e. a mapped SyncI
  +    SenderSyncI = find_intersection(SenderI, SyncI),
       NewState = State#rr_recon_state{stage = build_struct},
       case intervals:is_empty(SyncI) of
           false ->
  -            send_chunk_req(DhtPid, self(), SyncI, SyncI, get_max_items(RMethod)),
  +            send_chunk_req(DhtPid, self(), SyncI, SenderSyncI, get_max_items(RMethod)),
               NewState;
           true ->
               shutdown(empty_interval, NewState)
  
positive.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec begin_sync(struct(), state()) -> rr_recon_stats:stats().
  begin_sync(SyncStruct, State = #rr_recon_state{ method = Method,
                                                  struct = Params,
                                                  ownerPid = OwnerL,
  
negative.code:             rr_recon_stats:set(
                [{tree_compareLeft, ?IIF(Initiator, 1, 0)},
                 {tree_size, merkle_tree:size_detail(SyncStruct)}], Stats);
          bloom when Initiator =:= false ->
              send(DestRRPid, {continue_recon, comm:make_global(OwnerL), SID,
                               {start_recon, bloom, SyncStruct, true}}),
              send_local(self(), {shutdown, {ok, build_struct}}),
              Stats;
          art ->
  