If an opponent searched his or her library this turn, you may pay 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.