for ADT