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

　　方千里者，为方百里者百。封方百里者三十国，其余，方百里者七十。又封方七十里者六十--为方百里者二十九，方十里者四十。其余，方百里者四十，方十里者六十；又封方五十里者二十--为方百里者三十；其余，方百里者十，方十里者六十。名山大泽不以封，其余以为附庸间田。诸侯之有功者，取于间田以禄之；其有削地者，归之间田。

　　求而无所得之也，入门而弗见也，上堂又弗见也，入室又弗见也。亡矣丧矣！不可复见矣！故哭泣辟踊，尽哀而止矣。心怅焉怆焉、惚焉忾焉，心绝志悲而已矣。祭之宗庙，以鬼飨之，徼幸复反也。