If Mike Johnson is Speaker of the House on February 1st, 2025, then the market resolves to Yes. Outcome verified from United States Congress.
If no one occupies the position on February 1, then the market will stay open until someone occupies it.Note: this event is mutually exclusive.Expiration value: Mike Johnson