Any thoughts on why there hasn't been any major dump yet? Why wouldn't they dump more shares at higher prices if they had no plans for this?