A $10 million shortfall? For the state of Texas?
That’s a rounding error.
There was still a lot of money sitting in the rainy day fund.