Those short are no doubt on electronic record with the DTCC. Why on earth would they be? DTC holds CERTIFICATES.