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

　　再期之丧，年也；期之丧，年也。九月七月丧，三时也；五之丧，二时也；月之丧，一时也故期而祭，礼也期而除丧，道也祭不为除丧也。年而后葬者必再，其祭之间不同而除丧。大功者人之丧，有三年，则必为之再祭朋友，虞祔而已士妾有子，而为缌，无子则已。不及祖父母诸父弟，而父税丧，则否。降而在缌功者，则税之。君之父母、妻、子，君已除丧而闻丧，则不税。臣，君服斯服矣其余，从而服，从而税。君虽未丧，臣服已