 Here \([\move_A]\) is the universal modality “for all moves by player A”, and \(\langle \move_E\rangle\) is the existential modality “for some move by player E”. This two-step modality- or quantifier-based response pattern is typical for strategic powers of players in arbitrary games, as it captures the essence of sequential interaction. Crucially, logical laws can acquire game-theoretic import. For instance, the law of Excluded Middle applied to the above formula yields: