Search target player's library for a card and exile it. Then that player shuffles.
Gravestorm (When you cast this spell, copy it for each permanent put into a graveyard this turn. You may choose new targets for the copies.)
Buyback (You may pay an additional as you cast this spell. If you do, put this card into your hand as it resolves.)
Return the top creature card of your graveyard to the battlefield. That creature gains haste until end of turn. Exile it at the beginning of the next end step.
.
