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

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

　　聘射之礼，至大礼也。质明而始行事，日几中而后礼成，非强有力者弗能行也。故强有力者，将以行礼也。酒清，人渴而不敢饮也；肉干，人饥而不敢食也；日莫人倦，齐庄正齐，而不敢解惰。以成礼节，以正君臣，以亲父子，以和长幼。此众人之所难，而君子行之，故谓之有行；有行之谓有义，有义之谓勇敢。故所贵于勇敢者，贵其能以立义也；所贵于立义者，贵其有行也；所贵于有行者，贵其行礼也。故所贵于勇敢者，贵其敢行礼义也。故勇敢强有力者，天下无事，则用之于礼义；天下有事，则用之于战胜。用之于战胜则无敌，用之于礼义则顺治；外无敌，内顺治，此之谓盛德。故圣王之贵勇敢强有力如此也。勇敢强有力而不用之于礼义战胜，而用之于争斗，则谓之乱人。刑罚行于国，所诛者乱人也。如此则民顺治而国安也。