working on, still problems with TensAdd equalities