destroy x target artifacts and/or creatures. for each permanent destroyed this way, its controller reveals cards from the top of his or her library until an artifact or creature card is revealed and exiles that card. those players put the exiled cards onto the battlefield, then shuffle their libraries.