anchor.diff:      notify_all(BindingList, Value),
       reply_to_all(Threads, {ok, Value, Next}).
   
  -next_key(NextKey0, Clock, Partition, Table) ->
  +next_key(NextKey0, Clock, Partition) ->
       if
           NextKey0 == undefined ->
               NextClock = get_next_key(Clock, Partition),
               NextKey = {NextClock, Partition},
  -            declare_by_id(NextKey, Table);
  +            declare(NextKey);
           true ->
               NextClock = Clock,
               NextKey = NextKey0
  
positive.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,
  
negative.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}),
  