add-CommutativeT