God redeemed his people

1. Mosiah 13: 33
     33 For behold, did not Moses prophesy unto them concerning the coming of the Messiah, and that God should redeem his people? Yea, and even ^aall the prophets who have prophesied ever since the world began—have they not spoken more or less concerning these things?
2. Mosiah 16: 4
     4 Thus all mankind were ^alost; and behold, they would have been endlessly lost were it not that God redeemed his people from their lost and fallen state.