Li-Fan Chen
says to
YSITD
對於所有命題，not ( A and (not A))