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

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

　　諸葛令、王丞相共爭姓族先後，王曰：“何不言葛、王，而雲王、葛？”令曰：“譬言驢馬，不言馬驢，驢寧勝馬邪？”