[math-fun] minor denesting puzzle