Did they mark down their bonds to 'trade value'? Pennies on the dollar? Is that baked into the present capital?