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

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

　　郊之祭也，丧者不敢哭，凶服者不敢入国门，敬之至也。祭之日，君牵牲，穆答君，卿大夫序从。既入庙门，丽于碑，卿大夫袒，而毛牛尚耳，鸾刀以刲，取膟菺，乃退。爓祭，祭腥而退，敬之至也。郊之祭，大报天而主日，配以月。夏后氏祭其闇，殷人祭其阳，周人祭日，以朝及闇。祭日于坛，祭月于坎，以别幽明，以制上下。祭日于东，祭月于西，以别外内，以端其位。日出于东，月生于西。阴阳长短，终始相巡，以致天下之和。天下之礼，致反始也，致鬼神也，致和用也，致义也，致让也。致反始，以厚其本也；致鬼神，以尊上也；致物用，以立民纪也。致义，则上下不悖逆矣。致让，以去争也。合此五者，以治天下之礼也，虽有奇邪，而不治者则微矣。