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