anchor.diff:                  end
       end;
   
  -handle_command({reply_fetch, FromId, FromP, FetchDV}, _From,
  +handle_command({reply_fetch, FromId, FromP, FetchDV=#dv{value=Value, next=Next, type=Type}}, _From,
                  State=#state{variables=Variables}) ->
       case FetchDV#dv.bounded of
           true ->
  -            Value = FetchDV#dv.value,
  -            Next = FetchDV#dv.next,
  -            Type = FetchDV#dv.type,
               write(Type, Value, Next, FromId, Variables),
               reply_to_all([FromP], {ok, Next});
           false ->
  
positive.code: handle_command({bind, Id, Value}, _From,
                 State=#state{variables=Variables}) ->
      lager:info("Bind received: ~p", [Id]),
      [{_Key, V}] = ets:lookup(Variables, Id),
      NextKey = case Value of
          nil ->
              undefined;
          _ ->
              next_key(V#dv.next, V#dv.type, State)
      end,
      Functions = V#dv.functions,
      case V#dv.bounded of
          true ->
              case V#dv.value of
  
negative.code:     {noreply, State}.
  
  handle_handoff_command(?FOLD_REQ{foldfun=FoldFun, acc0=Acc0}, _Sender,
                         #state{variables=Variables}=State) ->
      F = fun({Key, Operation}, Acc) -> FoldFun(Key, Operation, Acc) end,
      Acc = ets:foldl(F, Acc0, Variables),
      {reply, Acc, State}.
  
  handoff_starting(_TargetNode, State) ->
  