We study the efficient mechanism for downsizing the public sector focusing on adverse selection in productive efficiency. Each agent is assumed to have two type-dependent reservation utilities: the status quo utility in the public sector before downsizing and the utility that he expects to...