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

　　六礼：冠、昏、丧、祭、乡、相见。七教：父子、兄弟、夫妇、君臣、长幼、朋友、宾客。八政：饮食、衣服、事为、异别、度、量、数、制。

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