《吕氏春秋・恃君》：「豫让笑而应之曰：『是﹝爲﹞先知报後知也，爲故君贼新君矣。』」
陈奇猷集释：「『是』下当从《策》补『爲』字，否则文不成义……此文『是爲先知报後知』犹言爲智伯报襄子耳。」