ADT vs AST