These maps must be: Formally adopted and enacted into law by the appropriate legislative or redistricting authority; AND Not enjoined, vacated, stayed, or struck down in full by any court with jurisdiction over congressional redistricting in Indiana as of the Expiration Date; AND In effect for use in the first scheduled federal election after its adoption For clarity: Maps that are temporarily stayed pending appeal but later upheld will resolve to YES if they are ultimately in effect by the Expiration Date Maps that are completely redrawn by a court or special master will resolve to NO Maps that are withdrawn by the Legislature before implementation will resolve to NO If no new maps are adopted by Nov 1, 2026, the market will resolve to NO Clarification (09/03/26): Alabama’s May 2026 legislation providing for special congressional primary elections does not constitute adoption of a new congressional district map for purposes of this Contract. The reinstatement and subsequent use of the congressional district map enacted in 2023, including its use in the August 2026 special primary, do not satisfy the Payout Criterion because that map was adopted before Issuance. This market may still resolve to “Yes” if the Alabama legislature adopts a new qualifying congressional district map before November 1, 2026 that otherwise satisfies the Payout Criterion. For the avoidance of doubt, the provision concerning maps temporarily stayed pending appeal does not make a map adopted before Issuance qualifying under the Payout Criterion.