The Holy One of Israel is our Redeemer; The LORD of Armies is his name.