anchor.diff:      E2 = entry_set_my_round(E1, MyRound),
       E3 = entry_inc_num_acks(E2),
       E3NumAcks = entry_num_acks(E3),
  -    case ?REDUN_MODULE:quorum_accepted(E3NumAcks) of
  +    case ?REDUNDANCY:quorum_accepted(E3NumAcks) of
           true ->
               %% construct read value from replies
               Collected = entry_val(E3),
  -            Constructed = ?REDUN_MODULE:get_read_value(Collected),
  +            Constructed = ?REDUNDANCY:get_read_value(Collected),
               T = entry_set_val(E3, Constructed),
               %% we have majority of acks
               Done = case entry_num_newest(T) of
  
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:                 entry_set_latest_seen(Entry, Round)
          end,
      E2 = entry_inc_num_acks(E1),
      Done = ?REDUNDANCY:quorum_accepted(entry_num_acks(E2)),
      {Done, E2}.
  
  -spec add_write_deny(entry(), pr:pr(), Consistency::boolean())
  