Li-Fan Chen says to YSITD
x ├ y