 To illustrate how iterated best response reasoning works in a simple (cooperative) case, let us look briefly at numerical expressions again. Take a signaling game with 4 states, or worlds, \(W = \{w_1, w_2, w_3, w_4\}\) where the indices give the exact/maximal number of children that came to our party, and four messages \(F = \{\)‘one’,‘two’,‘three’, ‘four’\(\}\), as shorthand for ‘\(n\) children came to our party’. On a neo-Gricean ‘at least’-interpretation of numerals, the meanings of the numeral expressions form an implication chain: