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

　　君之丧，未小敛，为寄公国宾出；大夫之丧，未小敛，为君命出；士之丧，于大夫不当敛而出。凡主人之出也，徒跣扱衽拊心，降自西阶。君拜寄公国宾于位；大夫于君命，迎于寝门外，使者升堂致命，主人拜于下；士于大夫亲吊则与之哭；不逆于门外，夫人为寄公夫人出，命妇为夫人之命出，士妻不当敛，则为命妇出。

　　湣度道人始欲過江，與壹傖道人為侶，謀曰：“用舊義在江東，恐不辦得食。”便共立“心無義”。既而此道人不成渡，湣度果講義積年。後有傖人來，先道人寄語雲：“為我致意湣度，無義那可立？治此計，權救饑爾！無為遂負如來也。”