 So that makes no sense for the Republican Party to want to actually divide some of the activist base here. And while I do think there are a lot of folks who would end up coming around and voting for Donald Trump on this, he would tick off a huge amount of his activists. There are definitely people who would stay home if he ended up doing this.