CSG1132: updated lecture 9