9وَثَمودَ الَّذينَ جابُوا الصَّخرَ بِالوادِTaqi Usmaniand (how He dealt) with (the people of) Thamud who had carved out the rocks in the Valley (of Qura),