Operational shorting and ETF liquidity provision