 Well, and in fact, one of the little tricks he's played is by telling the Congress, I'm not going to refill the reserve, even though Congress set aside money to do it. And we could have done it back when Trump was president and oil was 30-some bucks a barrel. And the Democrats said no that time, too. But if he doesn't refill the reserve, he's leaving that money or that oil in the marketplace, which has the effect of holding prices down a bit.