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

　　子云：“敬则用祭器。故君子不以菲废礼，不以美没礼。”故食礼：主人亲馈，则客祭；主人不亲馈，则客不祭。故君子茍无礼，虽美不食焉。《易》曰：“东邻杀牛，不如西邻之禴祭，实受其福。”《诗》云：“既醉以酒，既饱以德。”以此示民，民犹争利而忘义。

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