 strategic or procedural disagreements they had. They agreed overall on the good stuff, but there were some procedural differences. But as time has proven, that Trump was right in most of those cases. And J.D. Vance had really come around. Like I said, they were never adversaries.