anchor.diff:  %% -------------------------------------------------------------------
   
   %% @doc
  -%% An LWW Register CRDT.
  +%% An Multi-Value Register CRDT.
   %%
   %% @reference Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski (2011) A comprehensive study of
   %% Convergent and Commutative Replicated Data Types. http://hal.upmc.fr/inria-00555588/
  
positive.code:     NewVC = riak_dt_vclock:increment(Actor, MaxVC),
      NewVC.
  
  dominate_ts(_TS, _Actor, []) ->
      true;
  dominate_ts(TS, Actor, [H|T]) ->
  
negative.code: %% Two registers might represent the value `armchair', and not be `equal/2'. Equality here is
  %% that both registers contain the same value and timestamp.
  -spec equal(mvreg(), mvreg()) -> boolean().
  equal(MVReg1, MVReg2) ->
      V1 = value(MVReg1),
      TS1 = value(timestamp, MVReg1),
      V2 = value(MVReg2),
      TS2 = value(timestamp, MVReg2),
      if V1 == V2 andalso TS1 == TS2 ->
              true;
          true ->
              false
      end.
  %equal(_, _) ->
  %    false.
  
  