CSoPL: lecture 29/10