Li-Fan Chen
says to
YSITD
其實哲學用的是另外一種證明方式吧...?