The next step is to identify the types that believe that the other players are rational. In this context, belief means probability 1. For the type \(t_1\), we have \(\lambda_1(t_1)(\mathsf{Rat}_2)=1\); however,