Complexity and Renegotiation: A Foundation for Incomplete Contracts | Synapse