anchor.diff:  
               %% Generate delta for current operation from new state.
               {ok, {delta, Delta}} = CounterType:update_delta(increment, Id, MergedCounter),
  -
               %% Merge new delta with old delta and store in interval
               %% dictionary for next synchronization interval.
               CounterDelta = CounterType:merge(Delta, CounterDelta0),
  
positive.code:     RefreshFun = fun({#ad{counter=Ad}, _}, Acc) ->
                        case dict:is_key(Ad, Acc) of
                            false ->
                                Term2 = {ok, {_, _, _, Counter}} = lasp:read(Ad, undefined),
                                log_transmission(Term2),
                                dict:store(Ad, Counter, Acc);
                            true ->
                                Acc
  
negative.code: %% @doc Periodically synchronize state with the server.
  synchronize(SetType, AdsWithContractsId, AdsWithContracts0, Counters0, CountersDelta0) ->
      %% Get latest list of advertisements from the server.
      {ok, {_, _, _, AdsWithContracts}} = lasp:read(AdsWithContractsId, AdsWithContracts0),
      AdList = SetType:value(AdsWithContracts),
      Identifiers = [Id || {#ad{counter=Id}, _} <- AdList],
  
  