If Hakeem Jeffries is the first Speaker of the House after Mike Johnson, before Jan 1, 2031, then the market resolves to Yes.