Re: [math-fun] Life on Mars? Latest grist