Mechanisms that are used to characterize Nash implementable social choice correspondences (SCC) have unattractive features since they have to cover every instances of the implementation problem. This is unavoidable, as there are infinitely many cases, but at the same time it leaves open whether...