anchor.diff:                      true ->
                           %% consistent quorum
                           Collected = R3#rr_replies.read_value,
  -                        ReadValue = ?REDUNDANCY:get_read_value(Collected, ReadFilte),
  +                        ReadValue = ?REDUNDANCY:get_read_value(Collected, ReadFilter),
                           T1 = R3#rr_replies{read_value=ReadValue},
   
                           {consistent, T1};
  
positive.code:             %% fine here
              ReadReplies = entry_replies(ReadEntry),
              {WTWF, WTUI, WTVal} = %% WT.. means WriteThrough here
                  case pr:get_wf(replies_max_write_r(ReadReplies)) of
                      none ->
                          {fun prbr:noop_write_filter/3, none,
                           replies_val(ReadReplies)};
                      WTInfos ->
                          DataType = entry_datatype(ReadEntry),
                          %% Depending on the datatype the write through value might
  
negative.code: 
      %% update number of newest write rounds received
      PrevMaxWriteR = Replies#rr_replies.highest_write_round,
      PrevReadValue = R2#rr_replies.read_value,
      R3 =
          if PrevMaxWriteR =:= SeenWriteRound ->
                  MaxWCount = R2#rr_replies.highest_write_count + 1,
                  NewVal = ?REDUNDANCY:collect_read_value(PrevReadValue,
                                                          Value, Datatype),
                  R2#rr_replies{highest_write_count=MaxWCount,
                                read_value=NewVal};
             PrevMaxWriteR < SeenWriteRound ->
                  NewVal = ?REDUNDANCY:collect_newer_read_value(PrevReadValue,
                                                                Value, Datatype),
                  R2#rr_replies{highest_write_count=1,
                               highest_write_round=SeenWriteRound,
                               read_value=NewVal};
             true ->
                  NewVal = ?REDUNDANCY:collect_older_read_value(PrevReadValue,
                                                                Value, Datatype),
                  R2#rr_replies{read_value=NewVal}
          end,
  