 So I'm not sure exactly what this drilling pause would be. The Biden administration has taken some executive action on some energy issues. Recently, they said that they're not going to approve permits for the export of some kinds of natural gas going forward in the future. But coming back to what I was saying earlier, the United States is producing more oil and gas now than any country in the history of the world.