 Thus, all the profiles that survive iteratively removing strictly dominated strategies  \((\{(t,l), (m,l), (t,c), (m,c)\})\) are consistent with  states where the players are rational and commonly believe they are rational.