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

　　是以鲁君，孟春乘大路，弧韣；旗十有二旒，日月之章祀帝于郊，配以后稷。天子之也。季夏六月，以禘礼祀周公大庙，牲用白牡；尊用牺象山；郁尊用黄目；灌用玉瓒大圭荐用玉豆雕篹；爵用玉琖，仍，加以璧散璧角；俎用梡嶡；歌《清庙》，下管《象》；朱玉戚，冕而舞《大武》；皮弁积，裼而舞《大夏》。昧，东之乐也；《任》，南蛮之乐也纳夷蛮之乐于大庙，言广鲁于下也