 And then what will Trump do? While the price is at $1.50 a gallon, he'll fill the reserves up. And then the next president will say, thank you very much. I'm going to use that reserve for political process.