4 [As for] our Redeemer, the LORD of hosts [is] his name, the Holy One of Israel.