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

　　古者以周尺八尺为步，今以周尺六尺四寸为步。古者百亩，当今东田百四十六亩三十步。古者百里，当今百二十一里六十步四尺二寸二分。

　　故孝弟忠顺之行立，而后可以为人；可以为人，而后可以治人也。故圣王重礼。故曰：冠者，礼之始也，嘉事之重者也。是故古者重冠；重冠故行之于庙；行之于庙者，所以尊重事；尊重事而不敢擅重事；不敢擅重事，所以自卑而尊先祖也。