Unification


(e1^e2)(e1^e2) = e1 e2 e1 e2 = -e1 e1 e2 e2 = -1