Presents a strategy space reduction in Maskin's Nash implementation theorem. Improvements made to the Nash implementation theorems; Problems of implementing societal goals given by Social Choice Correspondence (SSC); Design of mechanisms consistent with incentives in realizing the SSC-chosen set goals.