Thought Constriction

Exile target spell. That spell's controller shuffles
their library, then reveals the top card of their
library. If its converted mana cost is less than the
exiled spell's, that player may play it without
paying its mana cost. Otherwise, that player puts
it into their hand.
Draw a card.