I wonder how much his stock vested in his 4 years. Could be he vested 10%, is happy, now will move on?