all we need to do is bore down and put a lid on top. years later we can make it more complex. we could drill a few holes into lava tubes for example https://en

all we need to do is bore down and put a lid on top. years later we can make it more complex. we could drill a few holes into lava tubes for example https://en.wikipedia.org/wiki/Martian_lava_tube https://en.wikipedia.org/wiki/Martian_lava_tube and direct light into it for something a bit more elaborate.