ENS1161: added lecture 12