anchor.diff:              ok;
           {[_|_] = RTree, MerkleSyncNew, NStats, MyMaxLeafCount, MyMaxItemsCount} ->
               NStage = reconciliation,
  -            OtherMaxItemsCount = OtherMaxLeafCount * BucketSize - MaxLeafItemsCountDiff,
  +            OtherMaxItemsCount = OtherMaxLeafCount * BucketSize - OtherMaxLeafItemsCountDiff,
               {P1E_I, P1E_L, NextSigSizeI, NextSigSizeL} =
                   merkle_next_signature_sizes(Params, P1ETotal_I, MyMaxLeafCount, MyMaxItemsCount,
                                               OtherMaxLeafCount, OtherMaxItemsCount),
               Req = merkle_compress_hashlist(RTree, <<>>, NextSigSizeI, NextSigSizeL),
  -            send(DestReconPid, {?check_nodes, Req, NextSigSizeI, NextSigSizeL - NextSigSizeI})
  +            MyMaxLeafItemsCountDiff = MyMaxLeafCount * BucketSize - MyMaxItemsCount,
  +            send(DestReconPid, {?check_nodes, Req, MyMaxLeafCount, MyMaxLeafItemsCountDiff})
       end,
       NewState = State#rr_recon_state{stats = NStats, struct = RTree,
                                       misc = [{signature_size, {NextSigSizeI, NextSigSizeL}},
  
positive.code:     {resolve_req, DBChunk::bitstring(), SigSize::signature_size(),
       VSize::signature_size(), SenderPid::comm:mypid()} |
      % merkle tree sync messages
      {?check_nodes, SenderPid::comm:mypid(), ToCheck::bitstring(), SigSize::signature_size()} |
      {?check_nodes, ToCheck::bitstring(), SigSizeI::signature_size(),
       SigSizeILeafDiff::0 | signature_size() % = SigSizeL - SigSizeI
      } |
      {?check_nodes_response, FlagsBin::bitstring(), MaxLeafCount::non_neg_integer(),
       MaxLeafItemsCountDiff::non_neg_integer() % = MaxLeafCount * BranchFactor - MaxItemsCount
  
negative.code:                              comm:make_global(OwnerL), SID,
                               {start_recon, merkle_tree, SyncParams}}),
              State#rr_recon_state{stats = Stats1, params = MySyncParams,
                                   misc = [{p1e, P1ETotal},
                                           {lcount, LeafCount},
                                           {icount, ItemCount}],
                                   kv_list = []}
      end;
  begin_sync(MySyncStruct, OtherSyncStruct,
  