CSP1150: added lecture 9