Wang Wan quan ji jian jiao - Wang, Wan 1624-1691