 And it's very important. So I agree with the premise here. But I think we have to recognize that these are like different states fundamentally. And obviously, my Ohio is sort of part of those. I don't think Ohio is at any risk of going blue in 2024. But number one is these are areas that were the absolute heart of the American economy 40 or 50 years ago.