 There are indications that the Moon, billions of years ago, had volcanism, and there are surface features on the lunar surface that suggest that there could be lava tubes in the subsurface of the Moon. So, in fact, what we did is that, sort of like, even proved that, in fact, lava tubes could exist, subsurface-expressional lava tubes could exist also on the Moon.