Li-Fan Chen
says to
YSITD
其實我剛剛是想說排中律