Implementation, Contracts, and Renegotiation in Environments With Complete Information