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

　　贱不诔贵，幼不诔长，礼也。唯天子，称天以诔之。诸侯相诔，非礼也。

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