4 Our Redeemer, whose name is the LORD of Heaven’s Armies, is the Holy One of Israel.