Search target player's library for a card and exile it. Then that player shuffles their 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.)