//A \emph{stable extension} is 



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