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.
'If you would be a real seeker after truth, it is necessary that at least once in your life you doubt, as far as possible, all things.'