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

　　有虞氏瓦棺，夏后氏墍周，殷人棺椁，周人墙置翣。周人以殷人之棺椁葬长殇，以夏后氏之墍周葬中殇、下殇，以有虞氏之瓦棺葬无服之殇。