could be short against the shares (hedged), which is legal if they are past the restriction date. There are other ways, including simply the shares being "sold" to DTC when deposited and DTC not receiving the legend-free street cert.
Market Data 
Markets 
AI
