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 is no inductive method which could lead to the fundamental concepts of physics. Failure to understand this fact constituted the basic philosophical error of so many investigators of the nineteenth century.'