Re: [math-fun] minor denesting puzzle