anchor.diff:      ThisP1E_upper_bound =
           trivial_worst_case_failprob(SigSize, BucketSize, OtherMaxItemsCount, ExpDelta),
       NextP0E = PrevP0E * (1 - ThisP1E_upper_bound),
  -%%     log:pal("merkle_send [ ~p ] (rest: ~B):~n   bits: ~p, P1E: ~p vs. ~p~n   P0E: ~p -> ~p",
  +%%     log:pal("merkle_send [ ~p ] (rest: ~B):~n  bits: ~p, P1E: ~p vs. ~p~n  P0E: ~p -> ~p",
   %%             [self(), NumRestLeaves, {SigSize, VSize}, P1E_next, P1E_p1, PrevP0E, NextP0E]),
       {HashesKNew, HashesVNew, ResortedBucket} =
           compress_kv_list(Bucket, {HashesK1, HashesV}, SigSize, VSize,
  
positive.code:     when is_subtype(Stats, rr_recon_stats:stats()).
  send_resolve_request(Stats, [] = _ToSend, _OwnerL, _DestRRPid, _IsInitiator,
                       true = _SkipIfEmpty) ->
      ?TRACE("Resolve Session=~p ; ToSend=~p",
             [rr_recon_stats:get(session_id, Stats), 0]),
      Stats;
  send_resolve_request(Stats, ToSend, OwnerL, DestRRPid, IsInitiator,
                       _SkipIfEmpty) ->
      SID = rr_recon_stats:get(session_id, Stats),
      ?TRACE("Resolve Session=~p ; ToSend=~p", [SID, length(ToSend)]),
      % note: the resolve request is counted at the initiator and
      %       thus from_my_node must be set accordingly on this node!
      ?DBG_ASSERT2(length(ToSend) =:= length(lists:usort(ToSend)),
  
negative.code:                            dest_recon_pid = DestReconPid, stats = Stats,
                             dest_rr_pid = DestRRPid,   ownerPid = OwnerL,
                             misc = [{item_count, MyDBSize}, {my_bf, MyBF}]}) ->
      ?TRACE_RCV(_Msg, State),
      MyDBSize1 = MyDBSize + length(DBList),
      MyBF1 = bloom:add_list(MyBF, DBList),
      % no need to map keys since the other node's bloom filter was created with
      % keys mapped to our interval
      BFCount = bloom:item_count(BF),
      % get a subset of Delta without what is missing on this node:
      % NOTE: The only errors which might occur are bloom:is_element/2 returning
      %       true for an item which is not on the other node (with the filter's
      %       false positive probability/rate). These are the items we would miss.
      Diff = if BFCount =:= 0 -> DBList;
                true -> [X || X <- DBList, not bloom:is_element(BF, X)]
             end,
  