 Now we have to get back to this vice presidential pick as well. J.D. Vance has been announced as the running mate. But I'm curious whether we're going to see him on a debate stage with Kamala Harris. Are you hearing anything about that yet?