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

　　夫圣王之制祭祀也：法施于民则祀之，以死勤事则祀之，以劳定国则祀之，能御大菑则祀之，能捍大患则祀之。是故厉山氏之有天下也，其子曰农，能殖百谷；夏之衰也，周弃继之，故祀以为稷。共工氏之霸九州岛也，其子曰后土，能平九州岛，故祀以为社。帝喾能序星辰以着众；尧能赏均刑法以义终；舜勤众事而野死。鲧鄣洪水而殛死，禹能修鲧之功。黄帝正名百物以明民共财，颛顼能修之。契为司徒而民成；冥勤其官而水死。汤以宽治民而除其虐；文王以文治，武王以武功，去民之菑。此皆有功烈于民者也。及夫日月星辰，民所瞻仰也；山林川谷丘陵，民所取材用也。非此族也，不在祀典。

　　諸葛靚後入晉，除大司馬，召不起。以與晉室有讎，常背洛水而坐。與武帝有舊，帝欲見之而無由，乃請諸葛妃呼靚。既來，帝就太妃間相見。禮畢，酒酣，帝曰：“卿故復憶竹馬之好不？”靚曰：“臣不能吞炭漆身，今日復睹聖顏。”因涕泗百行。帝於是慚悔而出。