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

　　泰，有虞氏之尊也。山罍，夏后氏之尊也。着，殷尊也。牺象，周尊也。爵，夏后氏以琖，殷以斝，周以爵。灌尊，夏后氏以鸡夷。殷以斝，周以黄目。其勺，夏后氏以龙勺，殷以疏勺，周以蒲勺。土鼓蒉桴苇龠，伊耆氏之乐也。拊搏玉磬揩击，大琴大瑟，中琴小瑟，四代之乐器也。

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