$IP slept through, who shorted it at a price of 9, right?