Lava tubes, underground caves created by volcanic activity, could provide protected habitats large enough to house streets on Mars or even towns on the Moon.
'There comes a time when the mind takes a higher plane of knowledge but can never prove how it got there. All great discoveries have involved such a leap. The important thing is not to stop questioning.'