Talk:Ehrenfeucht–Mycielski sequence