Will Jim Jordan run for Republican House Leader?

This market will resolve to "Yes" if Jim Jordan publicly announces that he is seeking to become the highest-ranking Republican in the United States House of Representatives for the Congress that convenes in January 2027, at any point between market creation and the date the House Republican Conference elects its top leader for that Congress. Otherwise, this market will resolve to "No". For purposes of this market, a person will run to be the "highest-ranking Republican" if they are running for