4 The Holy One of Israel is our Redeemer; the Lord of Hosts is His name.