Care to comment on those traders who shorted the stock around $40 or bought deep out-of-the-money put options?