anchor.diff:          true ->
               Next = Clock + 1,
               NextKey = {Next, Partition},
  -            declare(NextKey),
  +            declare_by_id(NextKey, Table),
               V1 = V#dv{next=NextKey},
               true = ets:insert(Table, {X, V1}),
               if
  
positive.code:                     fetch(BindId, FromId, FromP),
                      {noreply, State};
                  _ ->
                      {NextClock, NextKey} = next_key(DV#dv.next, Clock, Partition),
                      BindingList = lists:append(DV#dv.binding_list, [FromId]),
                      DV1 = DV#dv{binding_list=BindingList, next=NextKey},
                      true = ets:insert(Table, {TargetId, DV1}),
  
negative.code:     {reply, {Clock,Partition}, State#state{clock=Clock}};
  
  handle_command({declare, Id}, _From, State=#state{table=Table}) ->
      declare_by_id(Id, Table),
      {reply, {ok, Id}, State};
  
  handle_command({async_bind, Id, F, Arg}, _From,
  