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