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

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

　　桓公將伐蜀，在事諸賢鹹以李勢在蜀既久，承藉累葉，且形據上流，三峽未易可克。唯劉尹雲：“伊必能克蜀。觀其蒲博，不必得，則不為。”