[math-fun] Re: [EMHL] A question about Morley