anchor.diff:  handle_command({read, X, Function}, From,
                  State=#state{variables=Variables}) ->
       [{_Key, V=#dv{value=Value,
  -                  bounded=Bounded,
  +                  bound=Bound,
                     creator=Creator,
                     lazy=Lazy,
                     type=Type,
                     next=NextKey,
                     functions=Functions0}}] = ets:lookup(Variables, X),
  -    case Bounded of
  +    case Bound of
           true ->
               lager:info("Read received: ~p, bound: ~p", [X, V]),
               case is_lattice(Type) of
  
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:         _ ->
              next_key(V#dv.next, V#dv.type, State)
      end,
      case V#dv.bound of
          true ->
              case V#dv.value of
                  Value ->
  