Li-Fan Chen
says to
YSITD
這句話應該是等價於一個命題