divine extraction

look at the first {x} cards of your opponent's library and choose one, you can
play that card if its mana cost is equal
or less than {x}, then the opponent
search all the cards that share a name
with that card on his library
and removes them from the game.