Our Redeemer, Adonai Tzva'ot [Yahweh Commander of heaven’s armies] is his name, is haKadosh Isra'el [the Holy One of God prevails].