Verses 40–45 reference Isaiah 52:7, 11-15. These verses return to the identification of Jesus as Jehovah, and declare that he has the power to bring to pass the fulfillment of covenants. He will be the one who will be their king. It is possible that these verses were given to reference the Nephite record of Abinadi before King Noah, whose priests had asked for an explanation of verse 40. Assuming that the Nephites present were versed in their own religious history, they should have made the connection, and therefore remembered Abinadi’s explanation that pointed to Jehovah, the coming atoning Messiah. See Mosiah 15:13–20.