Li-Fan Chen
says to
YSITD
就是 monotone 跟 antition 嘛