What about shorting the stocks?