 And once that's done, then concentrate on the 40, which, by the way, is going to happen more naturally anyway because it's going to be done in three years anyway, but you'll get that paid off. I presume you guys will be debt-free, and by the time you're 43 years old, this is all going to get done. And the other option for you, which I think might be maybe slightly weird, would be to also at the exact same time cut back a tiny bit on the 529s.