 Where is Ted Cruz in all of this? Did he run away from get to Cancun again? That's an excellent question. Where is Mr. Cruz? Is he standing up at the Senate right now? I don't know. I don't keep track of him. But that is an excellent question. Where are the congressional delegation for Texas and the and their Congress people? I'm sure they're working in the background because there is a tremendous amount of animosity between the two right now.