Autodeleveraging: Impossibilities and Optimization · HackerTrans