Li-Fan Chen
says to
YSITD
但是古典邏輯不是有排中律ㄇ