Completely agree. I didn’t like Ted Cruz because he oooozes politician in the negative sense. But at the same time, he would have been like the republican-version of Lyndon B. Johnson and would have this point gotten a ton of sh*t done for better or worse.