If the number of the 12 fiscal year 2027 regular appropriations bills that have become law is at least 1 before October 1, 2026, then the market resolves to Yes.