Implementation and strong Nash equilibrium