A mechanism implements a social choice correspondence f in mixed Nash equilibrium if, at any preference profile, the set of all (pure and mixed) Nash equilibrium outcomes coincides with the set of f-optimal alternatives for all cardinal representations of the preference profile. Unlike Maskinʼs...