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

　　蔡洪赴洛，洛中人問曰：“幕府初開，群公辟命，求英奇於仄陋，采賢俊於巖穴。君吳楚之士，亡國之余，有何異才，而應斯舉？”蔡答曰：“夜光之珠，不必出於孟津之河；盈握之璧，不必采於昆侖之山。大禹生於東夷，文王生於西羌，聖賢所出，何必常處。昔武王伐紂，遷頑民於洛邑，得無諸君是其苗裔乎？”

　　礼：不王不禘。王者禘其祖之所自出，以其祖配之。诸侯及其大祖，大夫士有大事，省于其君，干祫，及其高祖。