Archive Trap

If an opponent searched his or her library this turn, you may pay {0} rather than pay Archive Trap's mana cost.

Target opponent puts the top thirteen cards
of his or her library into his or her graveyard.