Li-Fan Chen says to YSITD
is對 x = False