Are both Nasdaq, Inc. and Citrix Systems catering to the same customer bases?