anchor.diff:                               T2Entry, OldAcks + entry_num_denies(T2Entry))
           end,
       E2 = entry_inc_num_denies(E1),
  -    Done = ?REDUN_MODULE:quorum_denied(entry_num_denies(E2)),
  +    Done = ?REDUNDANCY:quorum_denied(entry_num_denies(E2)),
       {Done, E2}.
   
   -spec inform_client(qread_done, entry()) -> ok.
  
positive.code:                 %% consens sequence
                  This = comm:reply_as(comm:this(), 3, {qwrite_collect, ReqId, '_'}),
                  DB = db_selector(State),
                  Keys = ?REDUN_MODULE:get_keys(entry_key(NewEntry)),
                  WrVals = ?REDUN_MODULE:write_values_for_keys(Keys,  WriteValue),
                  [ begin
                      %% let fill in whether lookup was consistent
                      LookupEnvelope =
  
negative.code:     E2 = entry_set_my_round(E1, MyRound),
      E3 = entry_inc_num_acks(E2),
      E3NumAcks = entry_num_acks(E3),
      case ?REDUNDANCY:quorum_accepted(E3NumAcks) of
          true ->
              %% construct read value from replies
              Collected = entry_val(E3),
              Constructed = ?REDUNDANCY:get_read_value(Collected),
              T = entry_set_val(E3, Constructed),
              %% we have majority of acks
              Done = case entry_num_newest(T) of
  