 Donald Trump being formally nominated through the delegate process here. That'll play on the next hour, a couple of hours. But the delegates here are waiting for an announcement of the president's running mate. And we know two people have been notified within the last hour or so that they are not going to be former President Trump's running mate, Marco Rubio, senator from Florida, and sitting North Dakota Governor...