Re: [math-fun] Draft of December 31 blog post