a + = b is equivalent to:

b = b + a

b + = a

a = + b

a = a + b