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

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

　　君子将营宫室：宗庙为先，厩库为次，居室为后。凡家造：祭器为先，牺赋为次，养器为后。无田禄者不设祭器；有田禄者，先为祭服。君子虽贫，不粥祭器；虽寒，不衣祭服；为宫室，不斩于丘木。大夫、士去国，祭器不逾竟。大夫寓祭器于大夫，士寓祭器于士。