Statistics for If humans get to Mars, what might they do?