Nash Implementation: A Full Characterization · Study