[math-fun] Life on Mars? Latest grist