“…Ranging over an (if you wish, finite) set of real numbers including the correct utilities (that is, including the set {x|u i (k, l) = x for some k, l, i}), the antecedent u i (k, l) = r turns out true for the utility r that i assigns to O(k, l), while the consequent says that i knows he so assigns utility. In fact, in a critique of the epistemic characterization of the solution concept studied by Dekel and Fudenberg [21] we have formalized common knowledge of the fact that players are approximately correctly informed about their opponents' utility functions (de Bruin [18]).…”