Archive Trap

Archive Trap

Instant - Trap (CMC 5)
If an opponent searched their library this turn, you may pay rather than pay this spell's mana cost.
Target opponent mills thirteen cards.