I'm not following this in the news, but it seems weird that there's a pro Trump lawsuit in Texas given that Trump won Texas. Is the idea that they want to get a case with broader ramifications than Texas to be heard by "Trump's judges" at the Supreme Court?