Our Redeemer, Yahweh of Armies is his name, is the Holy One of Israel.
As for our redeemer, the LORD of hosts is his name, the Holy One of Israel.