search target player's library for a card and exile it. then that player shuffles his or her library.

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.)