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

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