提婆初至，為東亭第講阿毗曇。始發講，坐裁半，僧彌便雲：“都已曉。”即於坐分數四有意道人更就余屋自講。提婆講竟，東亭問法岡道人曰：“弟子都未解，阿彌那得已解？所得雲何？”曰：“大略全是，故當小未精核耳。”

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

　　鲁庄公及宋人战于乘丘。县贲父御，卜国为右。马惊，败绩，公队。佐车授绥。公曰：“末之卜也。”县贲父曰：“他日不败绩，而今败绩，是无勇也。”遂死之。圉人浴马，有流矢在白肉。公曰：“非其罪也。”遂诔之。士之有诔，自此始也。