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

　　卒哭乃讳。礼，不讳嫌名。二名不偏讳。逮事父母，则讳王父母；不逮事父母，则不讳王父母。君所无私讳，大夫之所有公讳。《诗》、《书》不讳，临文不讳。庙中不讳。夫人之讳，虽质君之前，臣不讳也；妇讳不出门。大功小功不讳。入竟而问禁，入国而问俗，入门而问讳。

　　孔子曰：“殷已悫，吾从周。”葬于北方北首，三代之达礼也，之幽之故也。既封，主人赠，而祝宿虞尸。既反哭，主人与有司视虞牲，有司以几筵舍奠于墓左，反，日中而虞。葬日虞，弗忍一日离也。是月也，以虞易奠。卒哭曰成事，是日也，以吉祭易丧祭，明日，祔于祖父。其变而之吉祭也，比至于祔，必于是日也接--不忍一日末有所归也。殷练而祔，周卒哭而祔。孔子善殷。君临臣丧，以巫祝桃茢执戈--恶之也；所以异于生也。丧有死之道焉。先王之所难言也。丧之朝也，顺死者之孝心也，其哀离其室也，故至于祖考之庙而后行。殷朝而殡于祖，周朝而遂葬。