I wonder if Michael Bury's puts printed. The stock is down about 30% from when I think he announced them.