 attributed to the ingenuity of the oil industry, the number of rigs is down. So the oil industry has pushed up the production per well, but it's barely above where it was when President Trump left office. And the economy has grown a lot. So the production relative to the size of the economy is actually down. So I think we can get oil prices down. I think if we deregulate, prices will come down.