anchor.diff:              ?DBG_ASSERT(Misc =:= []),
               FP = bloom_fp(BFCount, P1E),
               BF = bloom:new_bin(BFBin, ?REP_HFS:new(bloom:calc_HF_numEx(BFCount, FP)), BFCount),
  +            P1E_p1 = bloom:get_property(BF, fpr),
               Misc1 = [{bloom, BF}],
               Reconcile = reconcile,
               Stage = reconciliation;
  
positive.code:             Params1 = Params,
              ?DBG_ASSERT(DestReconPid =/= undefined),
              fd:subscribe(self(), [DestRRPid]),
              Misc1 = Misc,
              Reconcile = reconcile,
              Stage = reconciliation;
  
negative.code:             OrigDBChunkLen = calc_items_in_chunk(DBChunk, SigSize),
              DBChunkSet =
                  shash_decompress_kv_list(DBChunk, [], SigSize),
              % calculate P1E(phase1) from the point of view of the non-initiator:
              P1E_p1 = trivial_worst_case_failprob(SigSize, OrigDBChunkLen, OrigDBChunkLen),
              ?DBG_ASSERT(Misc =:= []),
              Misc1 = [{db_chunk, DBChunkSet},
                       {oicount, OrigDBChunkLen}],
  