元皇初見賀空，言及吳時事問：“孫皓燒鋸壹賀頭，是誰？司空未得言，元自憶曰：“是賀。”司空流涕曰“臣父遭遇無道創巨痛深，無以答明詔。”元皇慚，三日不出

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