anchor.diff:              false -> Replies;
               true ->
                   %% reset rack and store newer round
  -                OldAcks = replies_num_acks(Replies),
  -                T1Replies = replies_set_max_write_r(Replies, Round),
  -                T2Replies = replies_set_num_acks(T1Replies, 0),
  -                _T3Replies = replies_set_num_denies(
  -                             T2Replies, OldAcks + replies_num_denies(T2Replies))
  +                OldAcks = Replies#w_replies.ack_count,
  +                OldDenies = Replies#w_replies.deny_count,
  +                Replies#w_replies{highest_write_round=Round,
  +                                  ack_count=0,
  +                                  deny_count=OldAcks+OldDenies}
           end,
  -    R2 = replies_inc_num_denies(R1),
  -    Done = ?REDUNDANCY:quorum_denied(replies_num_denies(R2)),
  +    NewDenyCount = R1#w_replies.deny_count + 1,
  +    R2 = R1#w_replies{deny_count=NewDenyCount},
  +    Done = ?REDUNDANCY:quorum_denied(NewDenyCount),
       {Done, R2}.
   
   -spec inform_client(qread_done | qwrite_done, entry(), any()) -> ok.
  
positive.code: add_read_deny(Entry, _DBSelector, _MyRound, LargerRound, _Cons) ->
      {retry, entry_set_my_round(Entry, LargerRound)}.
  
  -spec add_write_reply(replies(), pr:pr(), Consistency::boolean())
                       -> {Done::boolean(), replies()}.
  add_write_reply(Replies, Round, _Cons) ->
      RepliesMaxWriteR = replies_max_write_r(Replies),
      RepliesRoundCmp = {pr:get_r(RepliesMaxWriteR), pr:get_id(RepliesMaxWriteR)},
      RoundCmp = {pr:get_r(Round), pr:get_id(Round)},
      R1 =
  
negative.code: %%                ?DBG_ASSERT2(replies_num_acks(Entry) =< 0,
  %%                             {found_unexpected_acks, replies_num_acks(Entry)}),
                  %% set rack and store newer round
                  OldAcks = Replies#w_replies.ack_count,
                  OldDenies = Replies#w_replies.deny_count,
                  Replies#w_replies{highest_write_round=Round,
                                    ack_count=0,
                                    deny_count=OldAcks+OldDenies}
          end,
      NewAckCount = R1#w_replies.ack_count + 1,
      R2 = R1#w_replies{ack_count=NewAckCount},
      Done = ?REDUNDANCY:quorum_accepted(NewAckCount),
      {Done, R2}.
  
  -spec add_write_deny(#w_replies{}, pr:pr(), Consistency::boolean())
                      -> {Done::boolean(), #w_replies{}}.
  add_write_deny(Replies, Round, _Cons) ->
      RepliesMaxWriteR = Replies#w_replies.highest_write_round,
      RepliesRoundCmp = {pr:get_r(RepliesMaxWriteR), pr:get_id(RepliesMaxWriteR)},
      RoundCmp = {pr:get_r(Round), pr:get_id(Round)},
      R1 =
  