賈充初定律令，與羊祜共咨太傅鄭沖。沖曰：“臯陶嚴明之旨，非仆闇懦所探。”羊曰：“上意欲令小加弘潤。”沖乃粗下意。

　　司馬文王問武陔：“陳玄伯何如其父司空？”陔曰：“通雅博暢，能以天下聲教為己任者，不如也。明練簡至，立功立事，過之。”

　　夫圣王之制祭祀也：法施于民则祀之，以死勤事则祀之，以劳定国则祀之，能御大菑则祀之，能捍大患则祀之。是故厉山氏之有天下也，其子曰农，能殖百谷；夏之衰也，周弃继之，故祀以为稷。共工氏之霸九州岛也，其子曰后土，能平九州岛，故祀以为社。帝喾能序星辰以着众；尧能赏均刑法以义终；舜勤众事而野死。鲧鄣洪水而殛死，禹能修鲧之功。黄帝正名百物以明民共财，颛顼能修之。契为司徒而民成；冥勤其官而水死。汤以宽治民而除其虐；文王以文治，武王以武功，去民之菑。此皆有功烈于民者也。及夫日月星辰，民所瞻仰也；山林川谷丘陵，民所取材用也。非此族也，不在祀典。