Re: [math-fun] life on mars(?)