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