博士引礼之义，以通高尚之事，穆诚实美谥，然蔡公德业既重，又是先帝师傅，居总录之任，则是参贰宰相，考行定名，议存实录，不可不详（《通典》一百四）。