The present paper provides a method by which the Nash Program may be embedded into mechanism theory. It is shown that any result stating the support of any solution of a cooperative game in coalitional form by a Nash equilibrium of some suitable game in strategic form can be used to derive the...