Since this is a fact do you have a link showing the transaction of the number of stocks he sold for this purpose?