(for they call themselves citizens of the holy city, and rely on the God of Israel [God prevails]; Adonai Tzva'ot [Yahweh Commander of heaven’s armies] is his name):