How a Hedge Fund Manager Decides to Sell Stocks