 Well, that's true. But by the time they can execute, by the time they figure out how to execute that whole plan, theoretically, Biden will no longer be president. So any executive order that he's issued in the last three plus years can be countermanded by a new executive order by whoever the new president happens to be. And the assumption is that it's going to probably be Trump.