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

　　《礼》曰：「君子抱孙不抱子。」此言孙可以为王父尸，子不可以为父尸。为君尸者，大夫士见之，则下之。君知所以为尸者，则自下之，尸必式。乘必以几。

　　闻丧不得奔丧，哭尽哀；问故，又哭尽哀。乃为位，括发袒成踊，袭绖绞带即位，拜宾反位成踊。宾出，主人拜送于门外，反位；若有宾后至者，拜之成踊，送宾如初。于又哭，括发袒成踊，于三哭，犹括发袒成踊，三日成服，于五哭，拜宾送宾如初。若除丧而后归，则之墓，哭成踊，东括发袒绖，拜宾成踊，送宾反位，又哭尽哀，遂除，于家不哭。主人之待之也，无变于服，与之哭，不踊。自齐衰以下，所以异者，免麻。