more ADTs, wording