why not just dig out a mountain like what we are doing
I mean, there's no sand under mountains. It's mostly granite.