[carapace]

Try playing through the Natural Number Game by Kevin Buzzard and Mohammad Pedramfar. https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_gam...