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

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

　　虽有嘉肴，弗食，不知其旨也；虽有至道，弗学，不知其善也。是故学然后知不足，教然后知困。知不足，然后能自反也；知困，然后能自强也，故曰：教学相长也。《兑命》曰：“斅学半。”其此之谓乎！