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

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

　　庾道季雲：“廉頗、藺相如雖千載上死人，懍懍恒如有生氣。曹蜍、李誌雖見在，厭厭如九泉下人。人皆如此，便可結繩而治，但恐狐貍貒貉啖盡。”