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

　　方一里者为田九百亩。方十里者，为方一里者百，为田九万亩。方百里者，为方十里者百，为田九十亿亩。方千里者，为方百里者百，为田九万亿亩。

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