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

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

　　发虑宪，求善良，足以謏闻，不足以动众；就贤体远，足以动众，未足以化民。君子如欲化民成俗，其必由学乎！