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

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

　　君于大夫，将葬，吊于宫；及出，命引之，三步则止。如是者三，君退；朝亦如之，哀次亦如之。五十无车者，不越疆而吊人。