We study the implementation problem for exchange economies when agents can renegotiate the outcome assigned by the planner and can collude. We focus on the use of sequential mechanisms and present a simple sufficient condition for implementation with renegotiation in strong perfect equilibrium....