 This says that if \(p\) is true then members of some coalition can improve upon some \(p\) world, which does not seem the right formula to express stability in logic. However we can prove the following results, which utilizes the correspondence between the formula and a specific class of frames.