 The Republican National Committee is a little less than 200 people. The Democratic National Committee is around 400. And those committees are authorized to choose a nominee for their party. So that's how it would work.