 Any remnants of a debate about whether this party snaps back to its sort of pro-business establishment culture pre-Trump era. The pre-Trump era is exactly that. It's a pre-Trump era. It's over for Republicans. And when it's not Trump, it's going to be J.D. Vance or someone exactly like him. Right. In other words, Trumpism is here to stay. It is the Republican Party now that I've chosen J.D. Vance. There's no going back anymore, Michael.