I may be mistaken, but I believe he can achieve $21bn in short exposure to Tesla through swaps and never have to report the "sale" publicly