anchor.diff:  del_name(Ref, S) ->
       NameL = [Name || 
                   {_, Name} <- ets:lookup(global_pid_names, Ref),
  -                {_, _Pid, _Method, _RPid, Ref1} <- 
  +                {_, _Pid, _Method, Ref1} <-
                       ets:lookup(global_names, Name),
                   Ref1 =:= Ref],
       case NameL of
  
positive.code: 
  get_names() ->
      ets:select(global_names, 
                 ets:fun2ms(fun({Name, Pid, Method, _RPid, _Ref}) -> 
                                    {Name, Pid, Method} 
                            end)).
  
  
negative.code: 		    Op = {delete, Name},
  		    exchange_names(Tail, Node, [Op | Ops], [Op | Res])
  	    end;
  	[{Name, _Pid2, _Method, _Ref}] ->
  	    %% The other node will solve the conflict.
  	    exchange_names(Tail, Node, Ops, Res);
  	_ ->
  