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

　　祭王父曰皇祖考，王母曰皇祖妣。父曰皇考，母曰皇妣。夫曰皇辟。生曰父、曰母、曰妻，死曰考、曰妣、曰嫔。

　　君命召，虽贱人，大夫士必自御之。介者不拜，为其拜而蓌拜。祥车旷左，乘君之乘车不敢旷左；左必式。仆御、妇人则进左手，后右手；御国君，则进右手、后左手而俯。国君不乘奇车。车上不广咳，不妄指。立视五巂，式视马尾，顾不过毂。国中以策彗恤勿驱。尘不出轨。国君下齐牛，式宗庙。大夫士下公门，式路马。乘路马，必朝服载鞭策，不敢授绥，左必式。步路马，必中道。以足蹙路马刍，有诛。齿路马，有诛。