 best-selling book, Billiology, that was the official announcement. The kind of unofficial announcement here in Milwaukee was when Senator Mike Lee of Utah said that J.D. Vance was going to be the running mate. And that received glorious applause here among the delegates who, as you mentioned, voted for former President Donald Trump to be their nominee for the third consecutive time. I understand that the former president will be in the hall tonight. What do we know about that?