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

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

　　服术有六：一曰亲亲，二曰尊尊，三曰名，四曰出入，五曰长幼，六曰从服。从服有六：有属从，有徒从，有从有服而无服，有从无服而有服，有从重而轻，有从轻而重。