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

　　乘兵车，出先刃，入后刃，军尚左，卒尚右。宾客主恭，祭祀主敬，丧事主哀，会同主诩。军旅思险，隐情以虞。

　　是月也，以立秋。先立秋三日，大史谒之天子曰：某日立秋，盛德在金。天子乃齐。立秋之日，天子亲帅三公、九卿、诸侯、大夫，以迎秋于西郊。还反，赏军帅武人于朝。天子乃命将帅，选士厉兵，简练桀俊，专任有功，以征不义。诘诛暴慢，以明好恶，顺彼远方。