 And you would invest only a portion of the funds going up to maybe 40%. If we had done it in the past, we would not be facing exhaustion now. Right now, it's a little trickier maneuver because, as you point out, the trust fund is going to zero.