 In the polling, all of this, of course, happening before what happened yesterday. Lots of discussions about the political ramifications of this. I would note that Donald Trump will accept the nomination of the Republicans on Thursday night at the Republican convention. And the RNC begins today.