POPL formative (1717171717 problem)