lecture: lecture 12: finish tuple