 of the reduction would have been in personal income tax. Again, that's a result of the personal income tax cuts. So really, we have a very, very strong year. We've got a lot to be excited about. Our personal income tax, our personal income is rising. I think we're 13th in the nation over the last year. So just a lot of good economic signs for West Virginia and for West Virginia taxpayers.