ADT, there are syntax errors here