3 ms·

Or he sells his 9.3% now, making 1.25bn immediate profit, and then informs the SEC. That is what I would do.