I don't think those shares are retired, they are just in treasury and he could get them back this year. It looks like he sold about 6.5m shares last year. Can anyone confirm my assumption?