Not sure about that: if anyone shorted at .015, there should be a trade on the tape at .015, was my understanding. We’d see it as the high, in other words.

Regardless of pull-back in price this morning, it is encouraging that the entire daily ave. vol. was taken up in only the first 90 minutes!