 And I don't know how he's going to take the money from oil or the royalties or taxes you get from oil and pay off the debt because it's not nearly enough. That's how bad the debt is. Unless you're going to go 100% taxation on the oil industry. You'd have to tax it an awful lot. No, but J.D. Vance was talking about what everybody knows. Why are we buying our oil? Why are we buying oil anywhere when we don't need to do it? We don't need to do that. We can produce our oil right here.