The exercise of his options resulted in a tax liability of 40K (approx.), and he sold 47K worth of shares. So yes, close enough of the tax liability generated by the exercise of the options.