So shorting is legal. But very expensive (cost-prohibitive) So it's probably not happening very often.