Implementation and Strong Nash Equilibrium