anchor.diff:      {noreply, S};
   
   handle_info({nodeup, Node}, S0) when S0#state.connect_all ->
  -    IsKnown = lists:member(Node, S0#state.known) or
  +    IsKnown = maps:is_key(Node, S0#state.known) or
                 %% This one is only for double nodeups (shouldn't occur!)
                 lists:keymember(Node, 1, S0#state.resolvers),
       ?trace({'####', nodeup, {node,Node}, {isknown,IsKnown}}),
  
positive.code: %%
  %% Here the name clashes are resolved.
  %%========================================================================
  handle_cast({resolved, Node, HisResolved, HisKnown, _HisKnown_v2, 
               Names_ext, MyTag}, S) ->
      %% Sent from global_name_server at Node.
      ?trace({'####', resolved, {his_resolved,HisResolved}, {node,Node}}),
  
negative.code:     S.
  
  new_nodes(Ops, ConnNode, Names_ext, Nodes, ExtraInfo, S0) ->
      %% (*) This one requires some thought...
      %% We're node a, other nodes b and c:
      %% The problem is that {in_sync, a} may arrive before {resolved, [a]} to
      %% b from c, leading to b sending {new_nodes, [a]} to us (node a).
      %% Therefore, we make sure we never get duplicates in Known.
      {AddedNodes, S1} = add_to_known(Nodes, S0),
      sync_others(AddedNodes),
      S2 = do_ops(Ops, ConnNode, Names_ext, ExtraInfo, S1),
      ?trace({added_nodes_in_sync,{added_nodes,AddedNodes}}),
      S2#state.the_locker ! {add_to_known, AddedNodes},
      trace_message(S2, {added, AddedNodes}, [{ops,Ops}]).
  
  do_whereis(Name, From) ->
      case is_global_lock_set() of
  