" Ou zhou da xue shi. " (Rui shi) wa er te. lü ai ge (Walter Ruegg) zong zhu bian ; (bi) xi er de. de. li de xi meng si (H. De Ridder-Symoens)[ben juan] zhu bian ; he guo qing [deng] yi.