 The vice presidential pick for the Republican candidate was announced yesterday. So a lot happened. I mean, 72 hours ago, the world was different for the Republican landscape, for sure. And 72 hours later, we're at this place where there is now a Republican pick for vice president. So that pick was not made before we got off the air yesterday. It was just after we got off the air yesterday that it was announced yesterday.