 disappointed a lot of people. And frankly, I don't think it's a good way for the party to operate because the Republican Party has always been a grassroots sort of semi-populist political movement going back to the pre-Civil War days. And so to the extent that you reduce the involvement of movement