edit lecture: lecture 14: finish Maybe