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

　　礼：不王不禘。王者禘其祖之所自出，以其祖配之。诸侯及其大祖，大夫士有大事，省于其君，干祫，及其高祖。

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