Quanto ao nosso Redentor, o Senhor dos exércitos é o seu nome, o Santo de Israel.