If all U.S.-licensed commercial operators combined have Above 14 launches in July 2026, then the market resolves to Yes.