Search target opponent's library for a card and exile it. You gain life equal to its converted mana cost. Then that player shuffles their library.