The mechanisms in the Nash program for cooperative games are made compatible with the framework of the theory of implementation. This is done through a reinterpretation of the characteristic function that avoids ...