Li-Fan Chen says to YSITD
但是二值律我不太能