 So when \([[C]]\varphi\) holds, coalition \(C\) can play a control strategy in such a way that no matter what the control strategy is that their opponents play, the resulting outcome satisfies \(\varphi\).