//A \emph{stable extension} is 




? s: 
    (?N: in_test(N) & s(N)) & 
     ! N: in_node(N) => (~s(N) <=> ( ? M: in_attack(M,N) & s(M) ) ).

