TODO: define ADDTERMS