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

　　正爵既行，请立马。马各直其算。一马从二马，以庆。庆礼曰：“三马既备，请庆多马。”宾主皆曰：“诺。”正爵既行，请彻马。

　　王为群姓立七祀：曰司命，曰中溜，曰国门，曰国行，曰泰厉，曰户，曰灶。王自为立七祀。诸侯为国立五祀，曰司命，曰中溜，曰国门，曰国行，曰公厉。诸侯自为立五祀。大夫立三祀：曰族厉，曰门，曰行。适士立二祀：曰门，曰行。庶士、庶人立一祀，或立户，或立灶。