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

　　诸侯见天子曰臣某、侯某；其与民言，自称曰寡人；其在凶服，曰适子孤。临祭祀，内事曰孝子某侯某，外事曰曾孙某侯某。死曰薨，复曰某甫复矣。既葬见天子曰类见。言谥曰类。

　　莊子逍遙篇，舊是難處，諸名賢所可鉆味，也而不能拔理於郭、向之外。支道林在白馬寺中，將馮太常共語，因及逍遙。支卓然標新理於二家之表，立異義於眾賢之外，皆是諸名賢尋味之所不得。後遂用支理。