The short answer is no. There's a longer answer I can give you if you have more time, which is that we're waiting for budget 2025 at this point. Traditionally what happens is all is revealed in a 400- to 500-page document, and at that point we will have a clear sense of precisely what the fiscal anchors are. If the fiscal anchor continues to be balancing an operating budget, hopefully at that point there will be a definition of what that operating budget actually means.