 He later on, he brought up J.D. Vance, who was Donald Trump's pick then yesterday, a vice presidential pick, to be his running mate is J.D. Vance, senator from Ohio. And so the president bringing this up in his interview with Lester Holt, and he said, well, that Vance had criticized Trump in 2016.