 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. So we don't have a trust fund. And to build up another trust fund quickly would require some effort. And so it's an option that I've always favored, but the possibility of taking advantage of it is sort of disappearing.