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

　　有父之丧，如未没丧而母死，其除父之丧也，服其除服。卒事，反丧服。虽诸父昆弟之丧，如当父母之丧，其除诸父昆弟之丧也，皆服其除丧之服。卒事，反丧服。如三年之丧，则既顈，其练祥皆同。王父死，未练祥而孙又死，犹是附于王父也。有殡，闻外丧，哭之他室。入奠，卒奠，出，改服即位，如始即位之礼。大夫、士将与祭于公，既视濯，而父母死，则犹是与祭也，次于异宫。既祭，释服出公门外，哭而归。其它如奔丧之礼。如未视濯，则使人告。告者反，而后哭。如诸父昆弟姑姊妹之丧，则既宿，则与祭。卒事，出公门，释服而后归。其它如奔丧之礼。如同宫，则次于异宫。

　　子夏曰：“五至既得而闻之矣，敢问何谓三无？”孔子曰：“无声之乐，无体之礼，无服之丧，此之谓三无。”子夏曰：“三无既得略而闻之矣，敢问何诗近之？”孔子曰：“‘夙夜其命宥密’，无声之乐也。‘威仪逮逮，不可选也’，无体之礼也。‘凡民有丧，匍匐救之’，无服之丧也。”