高貴鄉公薨，內外諠嘩。司馬文王問侍中陳泰曰：“何以靜之？”泰雲：“唯殺賈充，以謝天下。”文王曰：“可復下此不？”對曰：“但見其上，未見其下。”

　　孟冬之月，日在尾，昏危中，旦七星中。其日壬癸。其帝颛顼，其神玄冥。其虫介。其音羽，律中应钟。其数六。其味咸，其臭朽。其祀行，祭先肾。水始冰，地始冻。雉入大水为蜃。虹藏不见。天子居玄堂左个，乘玄路，驾铁骊，载玄旗，衣黑衣，服玄玉，食黍与彘，其器闳以奄。

　　庾道季雲：“廉頗、藺相如雖千載上死人，懍懍恒如有生氣。曹蜍、李誌雖見在，厭厭如九泉下人。人皆如此，便可結繩而治，但恐狐貍貒貉啖盡。”