If there are more than 50000 federal employees no longer working relative to the December 2025 employee count before January 2027, then the market resolves to Yes.