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

　　唯天下至诚，为能尽其性；能尽其性，则能尽人之性；能尽人之性，则能尽物之性；能尽物之性，则可以赞天地之化育；可以赞天地之化育，则可以与天地参矣。

　　传曰：“有从轻而重，公子之妻为其皇姑。有从重而轻，为妻之父母。有从无服而有服，公子之妻为公子之外兄弟。有从有服而无服，公子为其妻之父母。”传曰：“母出，则为继母之党服；母死，则为其母之党服。为其母之党服，则不为继母之党服。”