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

　　期居庐，终丧不御于内者，父在为母为妻；齐衰期者，大功布衰九月者，皆三月不御于内。妇人不居庐，不寝苫。丧父母，既练而归；期九月者，既葬而归。公之丧，大夫俟练，士卒哭而归。大夫、士父母之葬，既练而归。朔月忌日，则归哭于宗室。诸父兄弟之丧，既卒哭而归。父不次于子，兄不次于弟。

　　王司州在謝公坐，詠“入不言兮出不辭，乘回風兮載雲旗”。語人雲：“當爾時，覺壹坐無人。”