anchor.diff:      %% Concurrent
       ?assertEqual(false, is_lattice_strict_inflation(riak_dt_gset, A2, B2)).
   
  +%% riak_dt_orset tests.
  +
  +riak_dt_orset_inflation_test() ->
  +    A1 = riak_dt_orset:new(),
  +    B1 = riak_dt_orset:new(),
  +
  +    {ok, A2} = riak_dt_orset:update({add, 1}, a, A1),
  +    {ok, B2} = riak_dt_orset:update({add, 2}, b, B1),
  +    {ok, A3} = riak_dt_orset:update({remove, 1}, a, A2),
  +
  +    %% A1 and B1 are equivalent.
  +    ?assertEqual(true, is_lattice_inflation(riak_dt_orset, A1, B1)),
  +
  +    %% A2 after A1.
  +    ?assertEqual(true, is_lattice_inflation(riak_dt_orset, A1, A2)),
  +
  +    %% Concurrent
  +    ?assertEqual(false, is_lattice_inflation(riak_dt_orset, A2, B2)),
  +
  +    %% A3 after A2.
  +    ?assertEqual(true, is_lattice_inflation(riak_dt_orset, A2, A3)).
  +
  +riak_dt_orset_strict_inflation_test() ->
  +    A1 = riak_dt_orset:new(),
  +    B1 = riak_dt_orset:new(),
  +
  +    {ok, A2} = riak_dt_orset:update({add, 1}, a, A1),
  +    {ok, B2} = riak_dt_orset:update({add, 2}, b, B1),
  +    {ok, A3} = riak_dt_orset:update({remove, 1}, a, A2),
  +
  +    %% A1 and B1 are equivalent.
  +    ?assertEqual(false, is_lattice_strict_inflation(riak_dt_orset, A1, B1)),
  +
  +    %% A2 after A1.
  +    ?assertEqual(true, is_lattice_strict_inflation(riak_dt_orset, A1, A2)),
  +
  +    %% Concurrent
  +    ?assertEqual(false, is_lattice_strict_inflation(riak_dt_orset, A2, B2)),
  +
  +    %% A3 after A2.
  +    ?assertEqual(true, is_lattice_strict_inflation(riak_dt_orset, A2, A3)).
  +
   %% riak_dt_gcounter tests.
   
   riak_dt_gcounter_inflation_test() ->
  
positive.code: threshold_met(riak_dt_gset, Value, Threshold) ->
      is_inflation(riak_dt_gset, Threshold, Value);
  
  threshold_met(riak_dt_gcounter, Value, {strict, Threshold}) ->
      Threshold < riak_dt_gcounter:value(Value);
  threshold_met(riak_dt_gcounter, Value, Threshold) ->
  
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)
  