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

　　君天下，曰天子。朝诸侯，分职授政任功，曰予一人。践阼临祭祀：内事曰孝王某，外事曰嗣王某。临诸侯，畛于鬼神，曰有天王某甫。崩，曰天王崩。复，曰天子复矣。告丧，曰天王登假。措之庙，立之主，曰帝。天子未除丧，曰予小子。生名之，死亦名之。

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