Re: [math-fun] a few tiny comments