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