 Whenever player i is to move at state s, possible choices are assessed by comparing what would happen if, after that move, everybody followed their \(\best\) relation. A possible move at s is included in i’s \(\best\) relation if the best outcome of this move followed by repeated \(\best\) moves by all players is at least as good as every other move i could make at s, followed by \(\best\) moves by all players.