surely ADT is meant here