POPL formative (171717 problem)