 I mean, that is wild if that's the case. Ours is a dedicated source. Theirs would be prioritized over things like roads and police officers and affordable housing and a thousand other things. And since then, I've learned it's possible that it didn't come from there. It actually came from a quarter cent sales tax that they levied in like the year 2000 for things like roads, which still are there. But as you well know,