7 Nevertheless David took the stronghold of Zion, that is, the city of David.