Li-Fan Chen
says to
YSITD
有排中律的邪惡咚咚