 So, Lorenzo, before we get to the lava tubes, these pits have been seen from above, but the idea of your paper is that on a NASA mission, there was a radar that was able to sort of peer in slightly sideways into these craters, a bit like shining a torch, I guess, into a cave on Earth and catching some reflections from the rocks inside.