anchor.diff:  
   -record(bloom_recon_struct, 
           {
  -         interval = intervals:empty()                     :: intervals:interval(), 
  -         keyBF    = ?required(bloom_recon_struct, keyBF)  :: ?REP_BLOOM:bloom_filter(),
  -         versBF   = ?required(bloom_recon_struct, versBF) :: ?REP_BLOOM:bloom_filter()         
  +         interval = intervals:empty()                       :: intervals:interval(), 
  +         bloom    = ?required(bloom_recon_struct, bloom)    :: ?REP_BLOOM:bloom_filter()         
           }).
   -type bloom_recon_struct() :: #bloom_recon_struct{}.
   
  
positive.code:         send_chunk_req(DhtNodePid, self(), RestI, 
                         mapInterval(RestI, get_interval_quadrant(BloomI)), 
                         get_max_items(bloom)),
      {Obsolete, Missing} = 
          filterPartitionMap(fun(Filter) -> 
                                     not ?REP_BLOOM:is_element(VersBF, Filter) 
                             end,
                             fun(Partition) -> 
                                     {MinKey, _} = decodeBlob(Partition),
                                     ?REP_BLOOM:is_element(KeyBF, MinKey)
                             end,
                             fun(Map) -> 
                                     {K, _} = decodeBlob(Map), 
                                     K 
                             end,
                             DBList),
      ?TRACE("Reconcile Bloom Round=~p ; Obsolete=~p ; Missing=~p", [Round, length(Obsolete), length(Missing)]),
      length(Obsolete) > 0 andalso
          comm:send_local(Owner, {request_resolve, Round, {key_sync, DestRU_Pid, Obsolete}, []}),
      length(Missing) > 0 andalso
          comm:send_local(Owner, {request_resolve, Round, {key_sync, DestRU_Pid, Missing}, []}),
      SyncFinished andalso        
          comm:send_local(self(), {shutdown, sync_finished}),
      State;
  
negative.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec start_to_dest(MyI, Req, State) -> ok 
  when
    is_subtype(MyI,     intervals:interval()),
  