Mike Johnson is the current Republican Speaker of the House and the #1 Republican in the US House of Representatives.

If the Republicans lost their majority in the House, Johnson would likely become become the Republican Minority Leader, which would then be the position of the #1 Republican under a Democratic Party House.

This market resolves to the name of the next Republican after Mike Johnson to assume the position of either Speaker of the House or Minority Leader.

In the case of a leadership crisis like the one resulting from Speaker McCarthy's removal as speaker, the person appointed to Speaker pro tempore (if anyone) does not count. Only a permanent Republican Speaker or permanent Republican Minority Leader resolves this market.

If you have suggestions for other candidates to add, please leave a comment below.