We develop a model in which investment risk drives the demand for CDS insurance. The model shows the efficiency of CDS contracting over the state of the economy. It shows that CDS overinsurance (insurance in excess of renegotiation surpluses) is procyclical, allowing for greater financing when...