In this paper, we present a model of implementation where infea- sible allocations are converted into feasible ones through a process of renego- tiation that is represented by a reversion function. We describe the maximal set of Social Choice Correspondences that can be implemented in Nash Equi-...