Noting that a full characterization of Nash-implementation is given using a canonical-mechanism and Maskin's theorem (Maskin, 1999) is shown using a mechanism with Saijo's type of strategy space reduction (Saijo, 1988), this paper fully characterizes the class of Nash-implementable social choice...