//A \emph{stable extension} is 



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