for n being Nat ex G being finite SimpleGraph st
( stability# G = 2 & cliquecover# G > n )