If VISIT FLORIDA reports that the number of visitors to Florida in calendar year 2026 is above 140 million, then the market resolves to Yes.