Exile target spell, it's controller reveals cards from the top of their library until they reveal a card with mana value equal to the exiled spell’s mana value. Exile that card, then that player shuffles. They may cast that exiled card without paying its mana cost.