but \((r,s_2)\not\in \mathsf{Rat_2}\), so \(t_2\) does not believe that player \(2\) is rational. This can be turned into an iterative process as follows: Let \(R_i^1=\mathsf{Rat_i}\). We first need some notation. Suppose that for each \(i\), \(R_i^n\) has been defined. Then, define \(R_{-i}^n\) as follows: