 The left-hand side of the following diagram displays the game’s bare action structure, without any information on observability. However, when moving, players can distinguish their own actions, but not all moves of their opponents. Their precise observational powers are described by event models for the individual moves (cf. van Ditmarsch, van der Hoek, &amp; Kooi 2007).