We do know for sure though that CMKX was naked shorted by the few fails to deliver that still exist... They can easily be accounted for by trades that didn't settle when the stock was revoked.