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

　　林下諸賢，各有俊才子。籍子渾，器量弘曠。康子紹，清遠雅正。濤子簡，疏通高素。鹹子瞻，虛夷有遠誌。瞻弟孚，爽朗多所遺。秀子純、悌，並令淑有清流。戎子萬子，有大成之風，苗而不秀。唯伶子無聞。凡此諸子，唯瞻為冠，紹、簡亦見重當世。

　　是月也，命有司修法制，缮囹圄，具桎梏，禁止奸，慎罪邪，务搏执。命理瞻伤，察创，视折，审断。决狱讼，必端平。戮有罪，严断刑。天地始肃，不可以赢。