Li-Fan Chen
says to
YSITD
f_parents(a) > f_parents(b) f_child(b) > f_child(b)