anchor.diff:  change_owner_pids(DHTNodes) ->
       Self = comm:this(),
       F = fun(State) ->
  -                change_owner_pid(Self, State, leases_1, lease_db1),
  -                change_owner_pid(Self, State, leases_2, lease_db2),
  -                change_owner_pid(Self, State, leases_3, lease_db3),
  -                change_owner_pid(Self, State, leases_4, lease_db4),
  +                [change_owner_pid(Self, State, {lease_db, I})
  +                 || I <- lists:seq(1, config:read(replication_factor))],
                   State
           end,
       lists:foreach(fun (Node) ->
  
positive.code: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  erase_lease_dbs(Node) ->
      F = fun(State) ->
                  State1 = dht_node_state:set_prbr_state(State , leases_1, prbr:init(lease_db1)),
                  State2 = dht_node_state:set_prbr_state(State1, leases_2, prbr:init(lease_db2)),
                  State3 = dht_node_state:set_prbr_state(State2, leases_3, prbr:init(lease_db3)),
                  State4 = dht_node_state:set_prbr_state(State3, leases_4, prbr:init(lease_db4)),
                  State4
          end,
      change_node_state(Node, F).
  
  
  change_lease_replicas(Node) ->
      F = fun(State) ->
                  reset_read_and_write_rounds(State, leases_1, lease_db1),
                  reset_read_and_write_rounds(State, leases_2, lease_db2),
                  reset_read_and_write_rounds(State, leases_3, lease_db3),
                  reset_read_and_write_rounds(State, leases_4, lease_db4),
                  State
          end,
      change_node_state(Node, F).
  
negative.code:     ok.
  
  
  reset_read_and_write_rounds(State, DBName) ->
      LeaseDB = dht_node_state:get_prbr_state(State, DBName),
      ct:pal("LeaseDB ~p", [LeaseDB]),
      _ = [ 
  