True, but you can short the stock from elsewhere in your portfolio (i.e., just a standard nonretirement account), and it's economically equivalent (modulo some

True, but you can short the stock from elsewhere in your portfolio (i.e., just a standard nonretirement account), and it's economically equivalent (modulo some stuff with taxes).