anchor.diff:  %%      Given a particular type and two instances of that type,
   %%      determine if `Current' is an inflation of `Previous'.
   %%
  +%%      Inflation of an I-Var is moving from the undefined state to a
  +%%      defined state.
  +%%
  +%%      Inflation of a G-Set ensures that the `Previous' sets elements
  +%%      are contained by the `Current' set.
  +%%
  +%%      Inflation of an OR-Set ensures that the `Previous' sets elements
  +%%      all exist with the same unique idenfiers as `Current'.
  +%%
  +%%      Inflation of a G-Counter ensure that all actors in the
  +%%      `Previous' state are covered in the `Current' state with at
  +%%      least the same counts.
  +%%
   is_lattice_inflation(lasp_ivar, undefined, undefined) ->
       true;
   is_lattice_inflation(lasp_ivar, undefined, _Current) ->
  
positive.code:     %% Concurrent
      ?assertEqual(false, is_lattice_strict_inflation(riak_dt_gset, A2, B2)).
  
  %% riak_dt_gcounter tests.
  
  riak_dt_gcounter_inflation_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)
  