  We provide a necessary and sufficient condition for rationalizable
implementation of social choice functions, i.e., we offer a complete answer
regarding what social choice functions can be rationalizably implemented.
