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

　　天子适四方，先柴。郊之祭也，迎长日之至也，大报天而主日也。兆于南郊，就阳位也。扫地而祭，于其质也。器用陶匏，以象天地之性也。于郊，故谓之郊。牲用骍，尚赤也；用犊，贵诚也。郊之用辛也，周之始郊日以至。卜郊，受命于祖庙，作龟于祢宫，尊祖亲考之义也。卜之日，王立于泽，亲听誓命，受教谏之义也。献命库门之内，戒百官也。大庙之命，戒百姓也。祭之日，王皮弁以听祭报，示民严上也。丧者不哭，不敢凶服，汜扫反道，乡为田烛。弗命而民听上。祭之日，王被衮以象天，戴冕，璪十有二旒，则天数也。乘素车，贵其质也。旗十有二旒，龙章而设日月，以象天也。天垂象，圣人则之。郊所以明天道也。帝牛不吉，以为稷牛。帝牛必在涤三月，稷牛唯具。所以别事天神与人鬼也。万物本乎天，人本乎祖，此所以配上帝也。郊之祭也，大报本反始也。

　　鄭玄欲註春秋傳，尚未成時，行與服子慎遇宿客舍，先未相識，服在外車上與人說己註傳意。玄聽之良久，多與己同。玄就車與語曰：“吾久欲註，尚未了。聽君向言，多與吾同。今當盡以所註與君。”遂為服氏註。