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