 Well, I would argue that we weren't loaded to start with. I mean, we had some excess revenue. Without a doubt, a big chunk of that was actual what we call natural GR, general revenue. That means your income tax dollars and statewide sales tax that's collected.