of that life must, I think, supersede any other possible use of Mars. However, suppose Mars