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

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

　　陳留阮籍，譙國嵇康，河內山濤，三人年皆相比，康年少亞之。預此契者：沛國劉伶，陳留阮鹹，河內向秀，瑯邪王戎。七人常集於竹林之下，肆意酣暢，故世謂“竹林七賢。”