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

　　孔子曰：“管仲镂簋而朱纮，旅树而反坫，山节而藻棁。贤大夫也，而难为上也。晏平仲祀其先人。豚肩不掩豆。贤大夫也，而难为下也。君子上不僭上，下不偪下。”

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