anchor.diff:                drop_prbr_read),
   
               {ok, Val} = kv_on_cseq:read(Key),
  -            %% ct:pal("Old: ~p, Val: ~p New: ~p", [Old, Val, New]),
  +            io:format("Old: ~p, Val: ~p New: ~p", [Old, Val, New]),
               receive
                   {drop_prbr_read, done} ->
                       gen_component:bp_del(ExcludedDHTNode, drop_prbr_read),
  
positive.code: 
      _ = [ begin
                New = N+100,
                Old = case N of
                          1 -> 1;
                          _ -> N+99
                      end,
  
                modify_rbr_at_key(R, N+100),
                %% ct:pal("After modification:"),
  
negative.code:                     {Old, New}; %% valid for next read
                  New ->
                      {New, New}; %% old is no longer acceptable
                  X ->
                      %% maybe an update was not propagated at all in the previous round
                      case X > Old andalso X < New of
                          true -> {X, New};
                          _ -> ?equals(Val, New)
                      end
              end
      end.
  
  