renaming ADT