Re: [math-fun] Life probability of halting/settling