Li-Fan Chen
says to
YSITD
矛盾是數學定義的啊