 And that could be any day this week. Could be Monday. You name it. You know, with Donald Trump, it's hard to predict. Will it be J.D. Vance? Will it be Marco Rubio? Will it be a Doug Burgum? Will it be a Tom Cotton? Who knows? But apparently, no. Most of the names I'm hearing, again, all my...