Li-Fan Chen
says to
YSITD
不能直接放 但是你可以 when a = b