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

　　凡听五刑之讼，必原父子之亲、立君臣之义以权之。意论轻重之序、慎测浅深之量以别之。悉其聪明、致其忠爱以尽之。疑狱，泛与众共之；众疑，赦之。必察小大之比以成之。成狱辞，史以狱成告于正，正听之。正以狱成告于大司寇，大司寇听之棘木之下。大司寇以狱之成告于王，王命三公参听之。三公以狱之成告于王，王三又，然后制刑。凡作刑罚，轻无赦。刑者侀也，侀者成也，一成而不可变，故君子尽心焉。析言破律，乱名改作，执左道以乱政，杀。作淫声、异服、奇技、奇器以疑众，杀。行伪而坚，言伪而辩，学非而博，顺非而泽，以疑众，杀。假于鬼神、时日、卜筮以疑众，杀。此四诛者，不以听。凡执禁以齐众，不赦过。有圭璧金璋，不粥于市；命服命车，不粥于市；宗庙之器，不粥于市；牺牲不粥于市；戎器不粥于市。用器不中度，不粥于市。兵车不中度，不粥于市。布帛精粗不中数、幅广狭不中量，不粥于市。奸色乱正色，不粥于市。锦文珠玉成器，不粥于市。衣服饮食，不粥于市。五谷不时，果实未熟，不粥于市。木不中伐，不粥于市。禽兽鱼鳖不中杀，不粥于市。关执禁以讥，禁异服，识异言。

　　天下有王，分地建国，置都立邑，设庙祧坛墠而祭之，乃为亲疏多少之数。是故：王立七庙，一坛一墠，曰考庙，曰王考庙，曰皇考庙，曰显考庙，曰祖考庙；皆月祭之。远庙为祧，有二祧，享尝乃止。去祧为坛，去坛为墠。坛墠，有祷焉祭之，无祷乃止。去墠曰鬼。诸侯立五庙，一坛一墠。曰考庙，曰王考庙，曰皇考庙，皆月祭之；显考庙，祖考庙，享尝乃止。去祖为坛，去坛为墠。坛墠，有祷焉祭之，无祷乃止。去墠为鬼。大夫立三庙二坛，曰考庙，曰王考庙，曰皇考庙，享尝乃止。显考祖考无庙，有祷焉，为坛祭之。去坛为鬼。适士二庙一坛，曰考庙，曰王考庙，享尝乃止。皇考无庙，有祷焉，为坛祭之。去坛为鬼。官师一庙，曰考庙。王考无庙而祭之，去王考曰鬼。庶士庶人无庙，死曰鬼。