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

　　自仁率亲，等而上之，至于祖；自义率祖，顺而下之，至于祢。是故，人道亲亲也。亲亲故尊祖，尊祖故敬宗，敬宗故收族，收族故宗庙严，宗庙严故重社稷，重社稷故爱百姓，爱百姓故刑罚中，刑罚中故庶民安，庶民安故财用足，财用足故百志成，百志成故礼俗刑，礼俗刑然后乐。《诗》云：「不显不承，无斁于人斯」，此之谓也。

　　晉明帝欲起池臺，元帝不許。帝時為太子，好養武士。壹夕中作池，比曉便成。今太子西池是也。