Li-Fan Chen says to YSITD
那 b = 3 + a b = b - a