If the Washington pro football team has exactly 8 wins in the 2025-26 regular season, then the market resolves to Yes.