Li-Fan Chen says to YSITD
b = 2*a-a