lecture: lecture 11: finish ADT 1