wip
comments
simplify a-a
symmetry: -a+a --> 0