Knowledge Is Power

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.