(ADT; ver