There are soooo many involved in both the pdf we've been looking at AND the OTC Cleared pdfs that's it's hard to know. I did a quick search pulling 15 random companies and I didn't see them in any of the recent cleared lists...but it's hard to tell since there are so many.