how do you know that? He filed to sell, the brokerage firm usually sells before these are published.