I am wondering whether humans had to leave Mars billions of years ago. This is ineffably fascinating.