It's based on the ETH SpaceHopper design which has been ... How were the tube and pit formed? What volcanic processes were at work? There are lava tubes on Earth. Did they form the same way ...