•Consider the following game with one pebble on a graph G
•Player 1 places pebble on node a
•Player 2 moves the pebble to a successor
•Player 1 moves the pebble to a successor
•…
•Whoever cannot move, looses
•WRITE A FORMULA THAT CHECKS
IF PLAYER 1 WINS !