 So you don't need a huge trust fund, maybe twice the level of average benefit outlays. And I think it works fine in terms of investing in the bonds that we do. It would give the system a chance to earn some money if some of it were invested in equities. It's not a guarantee. Equities come with greater risk. But to the extent that it was successful, it would require less of a tax increase or a benefit cut to restore balance.