anchor.diff:      FP = bloom_fp(MaxItems, P1E),
       BF0 = bloom:new_fpr(MaxItems, FP, ?REP_HFS:new(bloom:calc_HF_numEx(MaxItems, FP))),
       BF = bloom:add_list(BF0, DBItems),
  -    #bloom_recon_struct{interval = I, reconPid = comm:this(),
  -                        bf_bin = bloom:get_property(BF, filter),
  -                        item_count = MaxItems, p1e = P1E};
  +    {#bloom_recon_struct{interval = I, reconPid = comm:this(),
  +                         bf_bin = bloom:get_property(BF, filter),
  +                         item_count = MaxItems, p1e = P1E},
  +     _P1E_p1 = bloom:get_property(BF, fpr)};
   build_recon_struct(merkle_tree, I, DBItems, Params) ->
       ?DBG_ASSERT(not intervals:is_empty(I)),
  +    P1E_p1 = 0.0, % needs to be set at the end of phase 1!
       case Params of
           {} ->
               % merkle_tree - at non-initiator!
  
positive.code:     
      send_chunk_req(pid_groups:get_my(dht_node), self(),
                     MySyncI, MySyncI, get_max_items(), Reconcile),
      State#rr_recon_state{stage = Stage, params = Params1,
                           method = RMethod, initiator = true,
                           my_sync_interval = MySyncI,
                           dest_recon_pid = DestReconPid,
                           misc = Misc1};
  
  on({resolve, {get_chunk_response, {RestI, DBList}}} = _Msg,
     State = #rr_recon_state{stage = resolve,            initiator = true,
  
negative.code:                                         {leaf_hf, fun art:merkle_leaf_hf/2},
                                          {keep_bucket, true}]),
      % create art struct:
      {#art_recon_struct{art = art:new(Tree, get_art_config()),
                         branch_factor = BranchFactor,
                         bucket_size = BucketSize},
       _P1E_p1 = 0.0 % TODO
      }.
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  % HELPER
  