and the default payoff is a fraction of the market value: