 So yes, we're going to hear a lot about Project 2025. Donald Trump has distanced himself from it. Donald Trump has said he is not doing anything with it. Donald Trump has, well, Donald Trump has got his own thing. He doesn't need Project 2025. Some of those people will go into the White House and they will try to push those ideas undoubtedly, but they're not his.