Li-Fan Chen says to YSITD
x in x