lecture: lecture 11: finish function of ADT 1