Northern-Sòng Yìxué scholar active under Rénzōng (r. 1023–1063). He authored Túyì 圖義 (“The Meaning of the Charts”), a now-lost polemical work refuting Liú Mù 劉牧’s Yìshù gōuyǐn tú 易數鉤隱圖 (KR1a0011). He is grouped with Sòng Xián 宋咸 (author of Wáng-Liú Yì biàn 王劉易辨) and Lǐ Gòu 李覯 (author of Shāndìng Yìtú lùn 刪定易圖論) as one of three contemporaries who attacked Liú Mù’s chart-corpus.