lecture: lecture 11: finish enumeration