I'm not saying it was shorted, I'm not saying it wasn't. But clearly they need to fill in those shares from somewhere, correct?