 Clearly, player E has a winning strategy against player A, i.e., a recipe that guarantees her to win, no matter what A does. This is expressed by a modal formula capturing exactly the right dynamics: