they shall enter Gardens of Eden as a place of residence jannāti ‘Adnin substitutes for al-janna ‘Paradise’ which the Compassionate One has promised to His servants a promise in the Unseen bi’l-ghaybi a circumstantial qualifier in other words a promise made while they do not see it. Indeed His promise that is to say that which He promises is ever fulfilled meaning that it always arrives the original form of ma’tiyyan is ma’tūyun; or what is meant by His promise here is Paradise to which those deserving of it shall arrive.