Total portfolio 1.4bn in Sep 13F. 0.6bn in June 13F. So yes, my guess is most if not all of that 0.8bn spike is notional in excess of premium on the 1.1bn puts. All the same, 80% of his entire hedge fund notional is still a BIG bet. And he will probably 10x that 1.1bn if he is right.