Re: [math-fun] Draft of June 17 blog post