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

　　大庙，天子明堂。库门，天子皋门。雉门，天子应门。振木铎于朝，天子之政也。山节藻棁，复庙重檐，刮楹达乡，反坫出尊，崇坫康圭，疏屏；天子之庙饰也。

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