Archive Trap {3}{U}{U}
Instant — Trap
If an opponent searched their library this turn, you may pay {0} rather than pay this spell's mana cost.
Target opponent mills thirteen cards.