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