Li-Fan Chen says to YSITD
0 <= 0 <1 0 <= 0 <2 true <1 true <2 1 <1 1 <2