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

　　君之丧，未小敛，为寄公国宾出；大夫之丧，未小敛，为君命出；士之丧，于大夫不当敛而出。凡主人之出也，徒跣扱衽拊心，降自西阶。君拜寄公国宾于位；大夫于君命，迎于寝门外，使者升堂致命，主人拜于下；士于大夫亲吊则与之哭；不逆于门外，夫人为寄公夫人出，命妇为夫人之命出，士妻不当敛，则为命妇出。

　　汝南陳仲舉，潁川李元禮二人，共論其功德，不能定先後。蔡伯喈評之曰：“陳仲舉強於犯上，李元禮嚴於攝下。犯上難，攝下易。”仲舉遂在三君之下，元禮居八俊之上。