賈充初定律令，與羊祜共咨太傅鄭沖。沖曰：“臯陶嚴明之旨，非仆闇懦所探。”羊曰：“上意欲令小加弘潤。”沖乃粗下意。
鲁公之庙，文世室也。武公之庙，武世室也。米廪，有虞氏之庠也；序，夏后氏之序也；瞽宗，殷学也；頖宫，周学也。