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

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

　　复，有林麓，则虞人设阶；无林麓，则狄人设阶。小臣复，复者朝服。君以卷，夫人以屈狄；大夫以玄赪，世妇以襢衣；士以爵弁，士妻以税衣。皆升自东荣，中屋履危，北面三号，衣投于前，司命受之，降自西北荣。其为宾，则公馆复，私馆不复；其在野，则升其乘车之左毂而复。复衣不以衣尸，不以敛。妇人复，不以袡。凡复，男子称名，妇人称字。唯哭先复，复而后行死事。