Li-Fan Chen
says to
YSITD
這兩個不是同個命題啊