وَكَانُوا۟ يَنْحِتُونَ مِنَ ٱلْجِبَالِ بُيُوتًا ءَامِنِينَ

And they used to carve from the mountains, houses, feeling secure.

— Al-Ḥijr 15:82