ADT Functions filled in