anchor.diff:       query_test,
        ivar_test,
        orset_test,
  -     awset_test,
  +     awset_ps_test,
        dynamic_ivar_test,
        monotonic_read_test,
        map_test,
  
positive.code:             ok
      end,
  
      {ok, {L5, _, _, _}} = lasp:declare(?AWSET),
      {ok, {L6, _, _, _}} = lasp:declare(?AWSET),
  
      spawn_link(fun() ->
                  {ok, _} = lasp:read_any([{L5, {strict, undefined}}, {L6, {strict, undefined}}]),
  
negative.code: 
      %% Verify the same value is contained by all.
      {ok, {_, _, _, S2L3}} = lasp:read(L3, {strict, undefined}),
      ?assertEqual(S2L3, lasp_type:merge(?AWSET_PS, S2, S2L3)),
      {ok, {_, _, _, S2L2}} = lasp:read(L2, {strict, undefined}),
      ?assertEqual(S2L2, lasp_type:merge(?AWSET_PS, S2, S2L2)),
      {ok, {_, _, _, S2L1}} = lasp:read(L1, {strict, undefined}),
      ?assertEqual(S2L1, lasp_type:merge(?AWSET_PS, S2, S2L1)),
  
      %% Read at the S2 threshold level.
      {ok, {_, _, _, _}} = lasp:read(L1, S2),
  