 And Biden then also talked, we mentioned J.D. Vance, Senator J.D. Vance being Donald Trump's pick for vice president. He'd be Trump's choice, should they win. And Vance, the president pointed out that Vance had criticized Trump back in 2016.