Re: [math-fun] Draft of short piece on Ehrenfeucht-Mycielski sequence