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

　　缌小功，虞卒哭则免。既葬而不报虞，则虽主人皆冠，及虞则皆免。为兄弟既除丧已。及其葬也，反服其服。报虞卒哭则免。如不报虞则除之。远葬者比反哭者皆冠，及郊而后免反哭。君吊，虽不当免时也，主人必免，不散麻。虽异国之君，免也。亲者皆免。除殇之丧者，其祭也必玄。除成丧者，其祭也朝服缟冠。

　　王下祭殇五：适子、适孙、适曾孙、适玄孙、适来孙。诸侯下祭三，大夫下祭二，适士及庶人，祭子而止。