last unsolved issue: sorting in TensAdd