Archive Trap

Instant — Trap

If an opponent searched their library this turn, you may pay rather than pay this spell's mana cost. Target opponent mills thirteen cards.