Search target player's library for a card and remove that card from the game. Then that player shuffles his or her library.

Gravestorm (When you play this spell, copy it for each permanent put into a graveyard this turn. You may choose new targets for the copies.)