 Yes, we do need some big changes there to property tax, and there's a lot that we can do. I mean, they'll say that it's very complicated, and it is when you dive into it, but there are also some simple things we can do. The bed tax that is paid by a lot of tourists that come here to our state, 3% of that goes to our general fund, the state general fund. We're running a surplus all the time. We don't need that money. Give that back to the city, county of origin where that came from, and that relieves the burden from homeowners paying the property tax. So something as simple as that, we can implement a lot of those. Take the lottery.