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

　　是月，命有司法制，缮圄，具桎，禁止奸慎罪邪，搏执。命瞻伤，察，视折，断。决狱，必端平戮有罪，断刑。天始肃，不以赢