Moving offices, I'm reminded again that recreational maths is a solved problem.