 This is a pretty wild turn of events. And so as a consequence, you have to wonder, okay, on the Republican side, does Trump comment on this? Does he get anything out of this? I don't think there's anything out of this.