Have you guys looked at the financials for KCG? Am I reading it wrong or does KCG still have net assets of about 1 billion with a market cap of 1/4 of that?