 For a more general account of the player’s payoffs, ordering relations \(\leq_i\) can be defined over the states so that \(s\leq_i t\) means that \(i\)’s payoff for \(t\) is at least as good as that for \(s\). Another generalization is to express facts about sequences \(q\) of moves, by introducing operators interpreted by relations \(sR_q t\) indicating that the sequence \(q\) starting from s eventually arrives at \(t\). With these and related resources, it is possible express (for example) that q is \(i\)’s best strategy given the present state.