lecture: lecture 20: finish type Disk