-
+ a
- a b
+ a b a