 the large debt burden. They've done these small announcements where they're forgiving, using federal programs, kind of changing them or tweaking them to forgive a few billion here, a couple dozen billion there. But this plan is, we're talking almost half a trillion. I think he's going to keep fighting it. I don't really expect him necessarily to be successful. Maybe he'll be partially successful.