anchor.diff:          _ ->
               next_key(V#dv.next, V#dv.type, State)
       end,
  -    case V#dv.bounded of
  +    case V#dv.bound of
           true ->
               case V#dv.value of
                   Value ->
  
positive.code: handle_command({fetch, TargetId, FromId, FromP}, _From,
                 State=#state{variables=Variables}) ->
      [{_, DV}] = ets:lookup(Variables, TargetId),
      case DV#dv.bounded of
          true ->
              reply_fetch(FromId, FromP, DV),
              {noreply, State};
  
negative.code: 
  handle_command({reply_fetch, FromId, FromP, FetchDV=#dv{value=Value, next=Next, type=Type}}, _From,
                 State=#state{variables=Variables}) ->
      case FetchDV#dv.bound of
          true ->
              write(Type, Value, Next, FromId, Variables),
              reply_to_all([FromP], {ok, Next});
  