Archive Trap

“If an opponent searched his or her library this turn, you may pay 0 rather than pay Archive Trap's mana cost. <br> Target opponent puts the top thirteen cards of his or her library into his or her graveyard.”