anchor.diff:  threshold_met(riak_dt_gset, Value, Threshold) ->
       is_inflation(riak_dt_gset, Threshold, Value);
   
  +threshold_met(riak_dt_orset, Value, {strict, Threshold}) ->
  +    is_strict_inflation(riak_dt_orset, Threshold, Value);
  +threshold_met(riak_dt_orset, Value, Threshold) ->
  +    is_inflation(riak_dt_orset, Threshold, Value);
  +
   threshold_met(riak_dt_gcounter, Value, {strict, Threshold}) ->
       Threshold < riak_dt_gcounter:value(Value);
   threshold_met(riak_dt_gcounter, Value, Threshold) ->
  
positive.code:         lists:usort(riak_dt_gset:value(Previous)) =/=
          lists:usort(riak_dt_gset:value(Current));
  
  is_lattice_strict_inflation(riak_dt_gcounter, [], []) ->
      false;
  is_lattice_strict_inflation(riak_dt_gcounter, Previous, Current) ->
      PreviousList = lists:sort(orddict:to_list(Previous)),
      CurrentList = lists:sort(orddict:to_list(Current)),
      is_lattice_inflation(riak_dt_gcounter, Previous, Current) andalso
          lists:foldl(fun({Actor, Count}, Acc) ->
                  case lists:keyfind(Actor, 1, CurrentList) of
                      false ->
                          Acc andalso false;
                      {_Actor1, Count1} ->
                          Acc andalso (Count < Count1)
                  end
                  end, true, PreviousList).
  
  -ifdef(TEST).
  
  
negative.code: %%      Given a particular type and two instances of that type,
  %%      determine if `Current' is a strict inflation of `Previous'.
  %%
  %%      Strict inflation of an I-Var is verifying it's an inflation,
  %%      along with ensuring that it's moving to a value from
  %%      `undefined'.
  %%
  %%      Strict inflation for a G-Set is verifying the change is an
  %%      inflation, along with ensuring the change introduces an
  %%      additional element.
  %%
  %%      Strict inflation for an OR-Set is verifying the change is an
  %%      inflation, along with ensuring the change does at least one of
  %%      two things: adds an additional identifer, or changes one
  %%      identifer's deleted marker from false -> true.
  %%
  %%      Strict inflation for a G-Counter is verifying the change is an
  %%      inflation, along with ensuring that at least one of the counts
  %%      has increased, or a new actor has been introduced.
  %%
  is_lattice_strict_inflation(lasp_ivar, undefined, undefined) ->
      false;
  is_lattice_strict_inflation(lasp_ivar, undefined, Current)
  