profit-takers who are hedging their bets. Hopefully they still have some shares for the (likely) favorable outcome.