 But you do have a lot on federal lands as well. I think I mentioned it's about 24% of how much oil we produce is coming from federal lands or from our oceans, which is overseen by the U.S. government, whoever's in the White House. So you have the Gulf of Mexico is huge. We have a ton of oil coming out of the Gulf. I think that's about 15%, maybe altogether, of the U.S. supply. And then you have a ton coming out of New Mexico. New Mexico is the number one onshore producer of federal oil supply.