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

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

　　夏侯玄既被桎梏，時鐘毓為廷尉，鐘會先不與玄相知，因便狎之。玄曰：“雖復刑余之人，未敢聞命！”考掠初無壹言，臨刑東市，顏色不異。