But there’s an outstanding question.

Neither of those are available on the moon.

Thus, it’s still a mystery how the Gruithuisen Domes could’ve formed.