ADT algorithms