He traded in his stock options when they matured.

• 当他的股份可以出售时，他拿它们来交易。