Thanks, Srin. I was aware that the defendents mentioned it in "lawyer speak" as part of their deposition, but was unsure as to whether they needed to file a separate, specific complaint re: the SEC justices for it to be considered an "official" complaint. Seeing your post, I don't think there's much to worry about in that regard.
Market Data 
Markets 
AI
