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