Li-Fan Chen
says to
YSITD
我到現在還是不知道 排中律 二值律 無矛盾律