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

　　是月也，命工师效功，陈祭器，按度程，毋或作为淫巧以荡上心。必功致为上。物勒工名，以考其诚。功有不当，必行其罪，以穷其情。是月也，大饮烝。天子乃祈来年于天宗，大割祠于公社及门闾。腊先祖五祀，劳农以休息之。天子乃命将帅讲武，习射御角力。

　　小功不易丧之练冠，如免，则绖其缌小功之绖，因其初葛带。缌之麻，不变小功之葛；小功之麻，不变大功之葛。以有本为税。