If Talarico for Texas's total receipts is above $25 million from July 1 through September 30, 2026, then the market resolves to Yes.