If there are more than 10 fewer federal agencies (as of Jan 16, 2025) on July 4, 2026, then the market resolves to Yes.