No one says there's no shorting. Only that there's no shorting on trip zero OTC tickers. Too expensive with too much downside risk.