Teferi's Contingency

Counter target spell. Cards in your hand that share a card type with that spell perpetually gain "This spell costs less to cast."

Counter target instant or sorcery spell. Search its controller's graveyard, hand, and library for all cards with the same name as that spell and exile them. Then that player shuffles.

Counter target instant or sorcery spell. Search its controller's graveyard, hand, and library for any number of cards with the same name as that spell and exile them. That player shuffles, then draws a card for each card exiled from their hand this way.

Exile target enchantment. Search its controller's graveyard, hand, and library for all cards with the same name as that enchantment and exile them. Then that player shuffles.

Choose one or both —

• Return target creature you control to its owner's hand. That card perpetually gains "This spell costs less to cast."

• Return target creature you don't control to its owner's hand. That card perpetually gains "This spell costs more to cast."

Counter target spell. That spell's controller reveals their hand, then discards each card with the same name as a card spliced onto that spell.