Is the leveraged bear whale liquidated yet?