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

　　天子饭，九贝；诸侯七，大夫五，士三。士三月而葬，是月也卒哭；大夫三月而葬，五月而卒哭；诸侯五月而葬，七月而卒哭。士三虞，大夫五，诸侯七。诸侯使人吊，其次：含襚赗临，皆同日而毕事者也，其次如此也。卿大夫疾，君问之无算；士一问之。君于卿大夫，比葬不食肉，比卒哭不举乐；为士，比殡不举乐。升正柩，诸侯执綍五百人，四綍，皆衔枚，司马执铎，左八人，右八人，匠人执羽葆御柩。大夫之丧，其升正柩也，执引者三百人，执铎者左右各四人，御柩以茅。

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