anchor.diff:  update_topology_state(#mc_server{type = rsPrimary, pid = Pid, host = Host, setName = SSetName},
       State = #topology_state{setName = CSetName, servers = Tab}) when SSetName =/= CSetName ->
     ets:insert(Tab, #mc_server{pid = Pid, host = Host, type = deleted}),
  -  exit(Pid, kill),
  +  exit(Pid, normal),
     State#topology_state{type = checkIfHasPrimary(Tab)};
   update_topology_state(_, State) ->
     State.
  
positive.code: -export([update_topology_state/2, init_seeds/4, init_seeds/1]).
  
  update_topology_state(#mc_server{type = SType, pid = Pid}, State = #topology_state{type = sharded}) when ?NON_SHARDED(SType) -> %% SHARDED
    exit(Pid, kill),
    State;
  update_topology_state(_, State = #topology_state{type = sharded}) ->
    State;
  
negative.code:   set_possible_primary(Tab, Primary),
    State#topology_state{setName = SetName};
  update_topology_state(#mc_server{type = SType, pid = Pid}, State = #topology_state{type = replicaSetNoPrimary}) when ?SEC_ARB_OTH(SType) ->
    exit(Pid, normal),
    State;
  update_topology_state(#mc_server{type = SType},
      State = #topology_state{type = replicaSetWithPrimary, servers = Tab}) when ?UNKN_GHST(SType) -> %% REPLICASETWITHPRIMARY
    State#topology_state{type = checkIfHasPrimary(Tab)};
  update_topology_state(#mc_server{type = SType, pid = Pid},
      State = #topology_state{type = replicaSetWithPrimary, servers = Tab}) when ?STAL_MONGS(SType) ->
    exit(Pid, normal),
    State#topology_state{type = checkIfHasPrimary(Tab)};
  update_topology_state(
      #mc_server{type = SType, setName = SetName, primary = Primary},
  