Liu, ting ji (fa xue)