anchor.diff:      Threshold =< Value.
   
   %% @doc Determine if `NewValue` is an inflation of `Value`.
  -is_inflation(riak_dt_gcounter, Value, NewValue) ->
  +is_strict_inflation(riak_dt_gcounter, Value, NewValue) ->
       Value < NewValue;
  -is_inflation(riak_dt_gset, Value, NewValue) ->
  +is_strict_inflation(riak_dt_gset, Value, NewValue) ->
       OldSet = riak_dt_gset:value(Value),
       NewSet = riak_dt_gset:value(NewValue),
       length(OldSet) < length(NewSet);
  -is_inflation(_, _Value, _NewValue) ->
  +is_strict_inflation(_, _Value, _NewValue) ->
       false.
   
   %% @doc Return if something is a lattice or not.
  
positive.code:     [{_Key, #dv{waiting_threads=Threads,
                  binding_list=BindingList,
                  lazy=Lazy}}] = ets:lookup(Variables, Key),
      Functions = lists:usort(Functions0),
      {ok, StillWaiting} = reply_to_all(Threads, [], {ok, Value, Next}),
      V1 = #dv{type=Type, value=Value, functions=Functions, next=Next,
  
negative.code:                     case is_lattice(V#dv.type) of
                          true ->
                              write(V#dv.type, Value, NextKey, [], Id, Variables),
                              case is_strict_inflation(V#dv.type, V#dv.value, Value) of
                                  true ->
                                      lager:info("Change is inflation: ~p ~p",
                                                 [V#dv.value, Value]),
  