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

　　孔子曰：“殷已悫，吾从周。”葬于北方北首，三代之达礼也，之幽之故也。既封，主人赠，而祝宿虞尸。既反哭，主人与有司视虞牲，有司以几筵舍奠于墓左，反，日中而虞。葬日虞，弗忍一日离也。是月也，以虞易奠。卒哭曰成事，是日也，以吉祭易丧祭，明日，祔于祖父。其变而之吉祭也，比至于祔，必于是日也接--不忍一日末有所归也。殷练而祔，周卒哭而祔。孔子善殷。君临臣丧，以巫祝桃茢执戈--恶之也；所以异于生也。丧有死之道焉。先王之所难言也。丧之朝也，顺死者之孝心也，其哀离其室也，故至于祖考之庙而后行。殷朝而殡于祖，周朝而遂葬。

　　司馬文王問武陔：“陳玄伯何如其父司空？”陔曰：“通雅博暢，能以天下聲教為己任者，不如也。明練簡至，立功立事，過之。”