The legal framework as it exists right now is that the bonds get paid in full, and there’s no talk yet of changing that.