 Instead, the logic contains new valid principles relating forcing modalities for different players. For instance, if i can force the truth of \(\varphi\), then no other player j can force its falsity. Thus,