anchor.diff:              [{_Key,V}] = ets:lookup(Table, Id),
               {NextClock, NextKey} = next_key(V#dv.next,
                                               State#state.clock,
  -                                            Partition,
  -                                            Table),
  +                                            Partition),
               put(Value, NextKey, Id, Table),
               {reply, {ok, NextKey}, State#state{clock=NextClock}}
           end;
  
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: handle_command({bind, Id, Fun, Arg}, _From,
                 State=#state{partition=Partition, table=Table}) ->
      [{_Key, V}] = ets:lookup(Table, Id),
      {NextClock, NextKey} = next_key(V#dv.next, State#state.clock, Partition),
      execute_and_put(Fun, Arg, NextKey, Id, Table),
      {reply, {ok, NextKey}, State#state{clock=NextClock}};
  
  