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

　　天子将出征，类乎上帝，宜乎社，造乎祢，祃于所征之地。受命于祖，受成于学。出征，执有罪；反，释奠于学，以讯馘告。

　　礼有大有小，有显有微。大者不可损，小者不可益，显者不可掩，微者不可大也。故《经礼》三百，《曲礼》三千，其致一也。未有入室而不由户者。君子之于礼也，有所竭情尽慎，致其敬而诚若，有美而文而诚若。君子之于礼也，有直而行也，有曲而杀也，有经而等也，有顺而讨也，有摭而播也，有推而进也，有放而文也，有放而不致也，有顺而摭也。三代之礼一也，民共由之。或素或青，夏造殷因。周坐尸，诏侑武方；其礼亦然，其道一也；夏立尸而卒祭；殷坐尸。周旅酬六尸，曾子曰：“周礼其犹醵与！”