If Colorado adopts new congressional district maps before Nov 7, 2028 that are in effect for federal elections, the market resolves to Yes.