Re: [math-fun] Life universality -- the nature of the proof