 That's the thing that makes them, and it makes it very, very hard for them to implement. And we're seeing that right now with them trying to unwind Joe Biden. That was pretty impressive there, Joshua. I have never done that myself. And I just typed in the dates that you said, 25 through 2030. And as you were describing it, that's exactly what came up. And it's weird. 2030 looks like that.