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