anchor.diff:                {Node,T,Added,[{new_nodes,[Other|_]=NewNodes},_Abcast,_Ops]} <- Ns],
       Act ++ Pass.
   
  -show_spurious(NodeTrace, Spurious) ->
  -    Pairs = [{Node,ActionNode} || {{Node,ActionNode}, _Time} <- Spurious],
  -    S = sofs:restriction(sofs:relation(NodeTrace), sofs:set(Pairs)),
  +show_spurious(NodeTraceL, SpuriousL) ->
  +    TraceDomL = [{Node,ActionNode} ||
  +                    {{Node,ActionNode}, _Ts} <- NodeTraceL],
  +    SpuriousDomL = [{Node,ActionNode} ||
  +                       {{Node,ActionNode}, _Times} <- SpuriousL],
  +    S = sofs:restriction(sofs:relation(NodeTraceL), sofs:set(SpuriousDomL)),
  +    %% Some spurious lost:
  +    Spurious = sofs:restriction(sofs:relation(SpuriousL), sofs:set(TraceDomL)),
       [foo || 
           {{{Node,ANode},Times},
  -         {{Node,ANode},Ts}} <- lists:zip(family(Spurious), 
  +         {{Node,ANode},Ts}} <- lists:zip(family(sofs:to_external(Spurious)),
                                            sofs:to_external(S)),
  -        show_spurious(Node, ANode, Times, lists:keysort(2, Ts))].
  -
  -show_spurious(Node, ActionNode, Times, Ts) ->
  +        show_spurious2(Node, ANode, Times, lists:keysort(2, Ts))].
  +
  +show_spurious2(Node, ActionNode, Times, Ts) ->
       io:format("** Actions for ~p on node ~p **~n", [ActionNode, Node]),
       lists:map(fun(T) -> spurious(Node, T, Times) end, Ts),
       io:format("-- End of actions for ~p on node ~p --~n", [ActionNode, Node]),
  
positive.code: %%%                              {ops,Ops}]
  %%%    NewKnown = Known ++ AddedNodes
  %%%    AddedNodes = NewNodes -- Known
  %%%    NewNodes är här den man förhandlat med plus de noder den känner till.
  %%% {added, AddedNodes}, Extra = [{ops,Ops}]
  %%%    NewKnown = Known ++ AddedNodes
  %%%    Den (passiva) noden får Nodes som är NewNodes
  %%%    hos den förhandlande. Sedan: AddedNodes = (Nodes -- Known) -- [node()].
  %%%    Det är som hos förhandlaren.
  %%% {nodes_changed, {New,Old}}
  %%%    Every now and then the list [node() | nodes()] is checked for updates.
  %%%    New are the nodes that global does not know of (yet).
  
negative.code:             z_2;
          "z_" ++ _ ->
              z;
          "c_external_nodes" ++ _ ->
              c_external_nodes;
          "a_" ++ _ ->
              a;
          "b_" ++ _ ->
              b;
          "c_" ++ _ ->
              c;
          "d_" ++ _ ->
              d;
          _ ->
              Node
      end.
  