4 Our Redeemer—the Lord of hosts is his name— is the Holy One of Israel.