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