 Then the best response for \(i\) is defined as \( \langle \approx_i \cap \succ_i \rangle \top\), as there is no alternative that is at the same time achievable and preferable to \(i\). Alternatively a hybrid logic that mentions strategy profiles in the language can provide a solution, similarly to the case of the core.