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: 
              Dest = pid_groups:find_a(routing_table),
              DB = db_selector(State),
              Keys = ?REDUN_MODULE:get_keys(entry_key(Entry)),
              WTVals = ?REDUN_MODULE:write_values_for_keys(Keys,  WTVal),
              _ = [ begin
                        %% let fill in whether lookup was consistent
                        LookupEnvelope =
  
negative.code:         if SeenWriteRound > RLatestSeen ->
                  T1 = entry_set_latest_seen(Entry, SeenWriteRound),
                  T2 = entry_set_num_newest(T1, 1),
                  ReadVal = ?REDUNDANCY:collect_read_value(Val,
                                               entry_datatype(Entry)),
                  entry_set_val(T2, ReadVal);
             SeenWriteRound =:= RLatestSeen ->
  