strength reduct (a - (-b)) into (a + b)