Re: [math-fun] 7.11 puzzle