 Clearly down in Texas. But yes, there seems to be a shift. And it does make sense from a business standpoint, because the former president is talking about 15% tax cut rate. If that 2017 tax plan does expire in 2025, no matter who's elected, if nothing happens, it goes back up to 35%. The Democrats want it to go to 28%. So you think 15%, 28%, what's more attractive? Less regulation. There's a lot of different factors that from a business standpoint...