Cheat Sheet for the Texas Revenue Estimate