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