lecture: lecture 20: finish type Square