Nash implementation and uncertain renegotiation

We study Nash implementation when the outcomes of the mechanism can be renegotiated among the agents but the planner does not know the renegotiation function that they will use. We characterize the social objectives that can be implemented in Nash equilibrium when the same mechanism must work for every admissible renegotiation function, and show the importance of allowing the planner to sometimes take away resources from the agents.