Li-Fan Chen
says to
YSITD
是透過思想來證明(?