Tibalt's Trickery

Counter target spell. Choose 1, 2, or 3 at
random. Its controller mills that many cards,
then exiles cards from the top of their library until they exile a nonland card with a different name than that spell. They may cast
that card without paying its mana cost. Then
they put the exiled cards on the bottom of
their library in a random order.