is the market value at default. Under a risk-neutral measure, the value of this defaultable contract is the discounted expectation of all the payoffs and is given by